summaryrefslogtreecommitdiffabout
BranchCommit messageAuthorAge
masterFix the same warning; different placeArmael4 years
 
 
AgeCommit messageAuthorFilesLines
2015-03-15Fix the same warning; different placeHEADmasterArmael1-2/+2
2015-01-22Fix un warningArmael1-1/+1
2015-01-22Plugin de résolution de sudoku 9x9Armael4-3/+114
2013-06-19Bug: dans Wl, en cas de clause vide, 0 était passé au clause learning au li...Armael1-1/+1
2013-05-30Suppression du -tag debug pour les pluginsArmael1-1/+1
2013-05-30Dans le Makefile, on copie les vrais fichiers (plugins, binaires) au lieu de ...Armael1-6/+12
2013-05-22Mise à jour du .merlinArmael1-1/+12
2013-05-22Ajout de précisions à propos du solveur linéaireGikiam1-2/+8
2013-05-22Merge branch 'master' of macaron.git:dpll-satArmael4-2/+16
2013-05-22Ajout de deux fichiers de test pour linear SMTGikiam2-0/+2
[...]
 
Clone
git://git.isomorphis.me/dpll-sat.git
git@git.isomorphis.me:dpll-sat