Skip to content
Snippets Groups Projects
Select Git revision
  • 1-add-basic-argument-handling
  • 2-add-basic-program-logic
  • 3-add-a-random-xor-dimacs-file-generator
  • 4-add-xor-sat-algorithm
  • 5-add-horn-sat-algorithm
  • 6-add-explanations-and-complete-readme
  • 7-complete-mini-project-2
  • main default protected
8 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.02Jan30Dec143130Nov2923221716remove unused filemainmainedit readme7-complete-mini…7-complete-mini-project-2fix jobshop.pycomplete jobshop.pyupdate flake.nixupdate flake.nixadd jobshop10.pyfeat : add unusable python script because of exponential explosionrenameremove clpqadd commentchore : fix smtchore : renames `jobshop.pl` to `jobshop3.pl`feat : added jobshop3.smt2optimized parametersadd swiplupdtadd 10 5add 10 5add prologanother incomplete versionalgo bebete trop lentreadmereadmechore: add commentsResolve "add horn sat algorithm"6-add-explanati…6-add-explanations-and-complete-readmecorrect algo5-add-horn-sat-…5-add-horn-sat-algorithmdebugfix checkadd constraints testconvert boolean model to bool option modelfix bug, it remains to do the check mentionned on signalfix positivizeformatadd setsfix algo ??testsdeathkill mealed