summaryrefslogtreecommitdiffstats
path: root/src/jrummikub/ai/fdsolver/Satisfiability.java
AgeCommit message (Expand)Author
2011-06-13Restructured fdsolver api and made first test succeedJannis Harder