source: vis_dev/sharpSAT/README @ 20

Last change on this file since 20 was 9, checked in by cecile, 13 years ago

add sharpSat
File size: 349 bytes
Line 
1sharpSAT version 1.1
2
3To compile this version of sharpSAT simply run
4
5make
6
7Note that this only works, if you have gmp installed. sharpSAT uses GMP to store the model counting results with infinite precision.
8
9If you do not want to use infinite precsision numbers in sharpSAT you simply have to use
10Makefile_nogmp instead of the standard Makefile.
11
Note: See TracBrowser for help on using the repository browser.