microsat

There are 0 repository under microsat topic.

• glnc / microsat

  Simple CDCL SAT solver

  microsatpicosatsatsolverdimacscnfcdcl
  Language:C 2

• glnc / microsat-wasm

  Compile microsat to WebAssembly using emscripten

  cnfdimacsmicrosatsatsat-solversolverwasmwebassembly
  Language:C 2