Commits

Commit history

1. Commits on Jun 8, 2017

   • OASIS + OPAM

     oliverfriedmann

     committed
     b88e86eView commit details

     Copy full SHA for b88e86e

     View code at this pointBrowse repository at this point
2. Commits on May 22, 2017

   • SATSolversForOCaml now OPAM module

     oliverfriedmann

     committed
     838fd75View commit details

     Copy full SHA for 838fd75

     View code at this pointBrowse repository at this point
3. Commits on Feb 20, 2017

   • brushed up documentation

     muldvarp

     committed
     9a7ea9bView commit details

     Copy full SHA for 9a7ea9b

     View code at this pointBrowse repository at this point
4. Commits on Feb 17, 2017

   • Update Docs + PDF

     oliverfriedmann

     committed
     67097d6View commit details

     Copy full SHA for 67097d6

     View code at this pointBrowse repository at this point
5. Commits on May 8, 2014

   • Zadeh Update, Docs Benchmark Fix, Winning Strategies Tool

     oliverfriedmann

     committed
     3660b89View commit details

     Copy full SHA for 3660b89

     View code at this pointBrowse repository at this point
6. Commits on Jun 28, 2013

   • fixed small issue with doc/Makefile

     muldvarp

     committed
     f37cc17View commit details

     Copy full SHA for f37cc17

     View code at this pointBrowse repository at this point

   • cleaned up algorithm fpiter

     Show description for 0e093b3
     muldvarp

     committed
     0e093b3View commit details

     Copy full SHA for 0e093b3

     View code at this pointBrowse repository at this point
7. Commits on Jun 8, 2013

   • Update

     

     Oliver Friedmann

     authored and

     Oliver Friedmann

     committed
     59d4cb0View commit details

     Copy full SHA for 59d4cb0

     View code at this pointBrowse repository at this point
8. Commits on Jun 7, 2013

   • Initial Commit

     

     Oliver Friedmann

     authored and

     Oliver Friedmann

     committed
     f2ea8b0View commit details

     Copy full SHA for f2ea8b0

     View code at this pointBrowse repository at this point
9. Loading