https://github.com/c-cube/microsat

experiments around microsat
https://github.com/c-cube/microsat

Last synced: 10 months ago
JSON representation

experiments around microsat

• Host: GitHub
• URL: https://github.com/c-cube/microsat
• Owner: c-cube
• License: mit
• Created: 2019-07-19T20:53:54.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2023-05-03T01:34:03.000Z (about 3 years ago)
• Last Synced: 2025-07-22T03:10:45.804Z (10 months ago)
• Language: Rust
• Size: 548 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
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