BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
nixpkgs-suyu/pkgs/applications/science/logic/zchaff
History
Ben Siraphob d6f311f306
zchaff: 2004.5.13 -> 2007.3.12
2022-06-05 23:22:06 -07:00
..
default.nix zchaff: 2004.5.13 -> 2007.3.12 2022-06-05 23:22:06 -07:00
sat_solver.patch