| .. |
|
DefaultPolicyTest.php
|
a1427d7fd6
replace all occurences in code and comments
|
10 anni fa |
|
PoolTest.php
|
38917c2047
Add parallel build to travis script
|
12 anni fa |
|
RequestTest.php
|
b4ed331168
The Solver Request no longer depends on the Pool
|
10 anni fa |
|
RuleSetIteratorTest.php
|
26598c4a9a
Remove unnecessary pool reference from rules
|
10 anni fa |
|
RuleSetTest.php
|
26598c4a9a
Remove unnecessary pool reference from rules
|
10 anni fa |
|
RuleTest.php
|
6e81f63635
Reduce memory footprint of rules by storing data in blob
|
10 anni fa |
|
SolverTest.php
|
8e78ce9a43
Add extra logging before and after SAT solving
|
9 anni fa |
Niels Keurentjes
8e78ce9a43
Add extra logging before and after SAT solving