Niels Keurentjes 8e78ce9a43 Add extra logging before and after SAT solving		2016-03-24 23:19:40 +01:00
..
DefaultPolicyTest.php	replace all occurences in code and comments	2015-09-24 16:32:36 +02:00
PoolTest.php	Add parallel build to travis script	2013-09-25 10:23:48 +02:00
RequestTest.php	The Solver Request no longer depends on the Pool	2015-04-30 17:24:24 +02:00
RuleSetIteratorTest.php	Remove unnecessary pool reference from rules	2014-12-01 19:02:50 +01:00
RuleSetTest.php	Remove unnecessary pool reference from rules	2014-12-01 19:02:50 +01:00
RuleTest.php	Reduce memory footprint of rules by storing data in blob	2015-07-09 17:23:45 +02:00
SolverTest.php	Add extra logging before and after SAT solving	2016-03-24 23:19:40 +01:00