Skip to content

MLewsey/oklibrary

About

A research platform and active library for generalised SAT solving

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 51.5%
  • C++ 48.2%
  • Common Lisp 0.3%