Changes for version 0.01 - 2014-12-01

  • first release

Modules

A simple Backtracking SAT solver written in pure Perl