Skip to content

PhilipCastiglione/ruby-minisat

About

ruby binding for MiniSat, which is an open-source SAT solver

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 87.6%
  • C 8.4%
  • Ruby 2.4%
  • Makefile 1.6%