Browse MUDLER/Algorithm-SAT-Backtracking-0.13/lib/Algorithm/SAT/Backtracking

Name	Documentation	Size	Last Modified
Ordered			04 Jun 2016 18:23:55 UTC
DPLLProb.pm	Algorithm::SAT::Backtracking::DPLLProb	2.2K	06 Feb 2015 14:02:25 UTC
DPLL.pm	Algorithm::SAT::Backtracking::DPLL	7.7K	06 Feb 2015 14:02:25 UTC
Ordered.pm	Algorithm::SAT::Backtracking::Ordered	3.13K	06 Feb 2015 14:02:25 UTC

	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)