Skip to content

cse0001/microsat-S

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 

Repository files navigation

Compile using:

gcc microsat.c -O2 -DSTANDALONE -o microsat

Use as follows:

./microsat FILE

in which FILE is a SAT problem in the DIMACS format

Releases

No releases published

Packages

No packages published

Languages

  • C 100.0%