projects / users/hertzog/sat-britney.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionBritney re-implementation on top of SAT solvers
ownerRaphaël Hertzog
last changeMon, 6 Jun 2011 08:55:57 +0000
URLgit://anonscm.debian.org/users/hertzog/sat-britney.git
git+ssh://git.debian.org/git/users/hertzog/sat-britney.git
http://anonscm.debian.org/git/users/hertzog/sat-britney.git
shortlog
2011-06-06 Raphaël HertzogAdd new sat.rules.RulesList replacing the Parser object master commit | commitdiff | tree | snapshot
2011-06-01 Raphaël HertzogReplace NotImplemented with NotImplementedError commit | commitdiff | tree | snapshot
2011-06-01 Raphaël HertzogUpdate API of sat.rules commit | commitdiff | tree | snapshot
2011-06-01 Raphaël HertzogMove init_variable() logic to ConstraintBase commit | commitdiff | tree | snapshot
2011-06-01 Raphaël HertzogSimplify sat.SatProblem API and rely more on the Constr... commit | commitdiff | tree | snapshot
2011-06-01 Raphaël HertzogMove logic of add_implication() in ConstraintBase object commit | commitdiff | tree | snapshot
2011-06-01 Raphaël HertzogRefactor the ConstraintCNF object commit | commitdiff | tree | snapshot
2011-06-01 Raphaël HertzogAdd sat.rules.ImpliesRule object commit | commitdiff | tree | snapshot
2011-05-31 Raphaël HertzogAdd license statements commit | commitdiff | tree | snapshot
2011-05-31 Raphaël HertzogAdd a .gitignore file to ignore python byte-compiled... commit | commitdiff | tree | snapshot
2011-05-31 Raphaël HertzogAdd sat.rules to parse human readable rules into SAT... commit | commitdiff | tree | snapshot
2011-05-30 Raphaël HertzogImprove add_implication() to support A → (B or C) commit | commitdiff | tree | snapshot
2011-05-27 Raphaël HertzogCleanup the object definitions commit | commitdiff | tree | snapshot
2011-05-26 Raphaël HertzogAdd missing backslash commit | commitdiff | tree | snapshot
2011-05-26 Raphaël HertzogAdd init_variable() method to DIMACS object commit | commitdiff | tree | snapshot
2011-05-26 Raphaël HertzogAdd simple serialization methods (load/save) to DIMACS... commit | commitdiff | tree | snapshot
...
heads
23 months ago master shortlog | log | tree
Britney re-implementation on top of SAT solvers