/Sputnim

SAT solver in Nim

Primary LanguageNimMIT LicenseMIT

Sputnim

Nim language-plastic

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.

Usage

$ git clone https://github.com/nicholaskross/Sputnim

$ cd Sputnim

# Compiling+Running
$ nim compile --verbosity:0 --hints:off --run sputnim.nim examples/example1.cnf

# Running
$ sputnim.exe examples/example2.cnf examples/custom_output_name.out