radekm/paradox
Model finder, compiles under GHC 7.6.3
Developer Profile
radekm
Discovered public repositories for radekm in the GitHub catalog.
radekm/crep
Competing regular expressions
radekm/simple-prop-prover
Simple propositional prover written in Haskell
radekm/recordsat
Public repository.
radekm/crossbow
Finite model finder
radekm/ocaml-tptp
Library for reading and writing FOF and CNF formulas in TPTP format
radekm/satviz-idris-compiled
Public repository.
radekm/josat
SAT solver based on MiniSat
radekm/satviz
SAT solver visualization. Supports watched literals and learned clause minimization.