/hog

A simple, probabilistic, parallel SAT solver.

Primary LanguageClojure

Watchers