#

microsat

Here are 2 public repositories matching this topic...

glnc / microsat

Simple CDCL SAT solver

solver picosat cnf sat dimacs cdcl microsat

Updated May 14, 2020
C

glnc / microsat-wasm

Compile microsat to WebAssembly using emscripten

solver webassembly wasm cnf sat-solver sat dimacs microsat

Updated May 26, 2020
C

Improve this page

Add a description, image, and links to the microsat topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the microsat topic, visit your repo's landing page and select "manage topics."