summaryrefslogtreecommitdiffstats
path: root/src/jrummikub/ai/fdsolver/Satisfiability.java
AgeCommit message (Collapse)Author
2011-06-13Restructured fdsolver api and made first test succeedJannis Harder
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@423 72836036-5685-4462-b002-a69064685172