ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-12 12:07:47 +03:00
Code Issues Projects Releases Wiki Activity
27f7999280
nixpkgs/pkgs/applications/science/logic/picosat
History
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