prevent accidentally declaring a constraint that cannot be solved. have to be explicit if we want this now
move test for source transform out of constraint tests, and try to be slightly more clever when searching always fragments in SCB
load src_transform tests from tests.js
pass allowTests option to predicate
enable '>' and '<' in binary ops (supported in Z3)
add options to allow unsolvable operations and debugging, and refactor the constraintinterpreter to honour these flags
WIP XXX: add || (through cnOr) to DeltaBlue and Cassowary -- this may not be a good idea, because then these solvers aren't complete anymore
Merge branch 'master' of https://github.com/timfel/babelsberg-js