fixed constraints (empty ^= violation, since externsional)
previous solvers are d-way solvers
forward checking 2-way solver working
polish
benchmark more
cut down explored nodes in 2-way solver by pruning assigned domain
removed unnecessary .toList
compact
added backtracking 2-way solver
log CSP in addition to solution
support sets as domains in addition to ranges
Variable assignment order. Solution is now a Map
instead of an IndexedSeq
(probably) fixed smallest domain var order
benchmark different var orders too
benchmark var-order problem too. Don't normalise any more.
read opt. var. assignment order from csp files too
more comments for CSP