search

niklasso / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
1.02k stars 390 forks source link

Solution to issue #16 #1 on MacOX #31

Open zhzdeng opened 7 years ago

zhzdeng commented 7 years ago

Fixed "memUsedPeak not defined" #1 Fixed illegal friend declaration of mkLit #16 Updated README file with some instructions on Building and Install