Pinned Loading

1. sat-hs sat-hs Public

   Various SAT solving algorithms implemented in Haskell.

   Haskell

2. cnf-encoder cnf-encoder Public

   Convert arbitrary boolean formulae into CNF.

   Haskell

3. cnf-gen cnf-gen Public

   Generate CNF formulas in DIMACS CNF format for SAT solvers.

   Haskell

4. turing-machine turing-machine Public

   Turing machine simulator, multiple tapes and nondeterminism.

   Scheme 5

5. finite-automata finite-automata Public

   Finite automata simulator.

   OCaml

6. gforth-sdl2 gforth-sdl2 Public

   SDL2 bindings for GForth.

   Forth 4