SAT solver in Nim, based on the basic (not-much-optimized) DPLL algorithm. Part of the architecture (especially data representation) is based on simple-sat.
$ git clone https://github.com/nicholaskross/Sputnim
$ cd Sputnim
# Compiling+Running
$ nim compile --verbosity:0 --hints:off --deepcopy:on --run sputnim.nim examples/example1.cnf
# Running
$ sputnim.exe examples/example2.cnf examples/custom_output_name.out