summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2012-04-26A new attempt. Better strategies implementation....Carlo Zancanaro
2012-04-26A bunch of modifications working to a good solver.Carlo Zancanaro
2012-04-20Start on the max-strategy stuff. Also more BF.Carlo Zancanaro
2012-04-19Add presentation; start a different implementationCarlo Zancanaro
2012-04-06Move everything into impl/ and add a Makefile.Carlo Zancanaro
2012-03-30Initial commit. Basic Kleene iteration stuff.Carlo Zancanaro