1. 11 Nov, 2016 1 commit
  2. 28 Oct, 2016 1 commit
    • Dmitry Bagaev's avatar
      Solver refactoring completed · 5dd7d258
      Dmitry Bagaev authored
      1) Condest added to final solver interface
      2) SolverMaster hided from user
      3) Examples fixed with new Solver Class
      4) Examples using LLVM coding standarts
      5dd7d258
  3. 10 Oct, 2016 1 commit
  4. 01 Oct, 2016 1 commit
  5. 30 Sep, 2016 4 commits
  6. 28 Sep, 2016 1 commit