Nils Adermann 0f6fb9b692 Separate transaction generation from solving and properly identify updates 14 éve
..
LiteralTest.php 2d1f8fbe70 LiteralTest is incomplete 14 éve
PoolTest.php c6321e7277 Fix tests and invalid use statements 14 éve
RequestTest.php c6321e7277 Fix tests and invalid use statements 14 éve
RuleSetIteratorTest.php bc672deb32 Moving rule iteration logic to a separate RuleSet and RuleSetIterator class 14 éve
RuleSetTest.php 825deff09f Completed analysis of unsolvable situations and main decision process 14 éve
SolverTest.php 0f6fb9b692 Separate transaction generation from solving and properly identify updates 14 éve