Austin Seipp b72f543f96 picosat: install more stuff ... Projects like the AIGER toolkit want to use the picosat.o object file in order to do SAT solving. Install this, along with the header and version information, so a build of the AIGER can use it. This means that picosat does not need to be built twice. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2017-10-16 12:01:17 -05:00
..
default.nix	picosat: install more stuff	2017-10-16 12:01:17 -05:00