Algorithm-SAT-Backtracking

Changes for version 0.05 - 2015-01-23

A simple Backtracking SAT solver written in pure Perl

A class that represent an expression for Algorithm::SAT::Backtracking

in lib/Algorithm/SAT/Backtracking/DPLL.pm

in lib/Algorithm/SAT/Backtracking/DPLLProb.pm

To install Algorithm::SAT::Backtracking, copy and paste the appropriate command in to your terminal.

cpanm Algorithm::SAT::Backtracking

perl -MCPAN -e shell
install Algorithm::SAT::Backtracking

For more information on module installation, please visit the detailed CPAN module installation guide.

	Global
`s`	Focus search bar
`?`	Bring up this help dialog

	GitHub
`g` `p`	Go to pull requests
`g` `i`	go to github issues (only if github is preferred repository)

	Search terms
module: (e.g. module:Plugin)
distribution: (e.g. distribution:Dancer auth)
author: (e.g. author:SONGMU Redis)
version: (e.g. version:1.00)