Commit graph

Select branches

Hide pull requests

master

Mono Color

• 50367be3e9
  Hides the documentation folder master Dimitri Lozeve 2016-08-05 08:37:05 +01:00
• 7d3ee96c26
  Export list and haddock structure Dimitri Lozeve 2016-08-05 08:28:57 +01:00
• e68aea36d9
  Formatted comments for Haddock Dimitri Lozeve 2016-08-05 08:16:32 +01:00
• f8ad75dcdf
  Added testing data Dimitri Lozeve 2016-08-04 23:45:47 +01:00
• 2a73c96531
  Main part of the program + DIMACS CNF parsing Dimitri Lozeve 2016-08-04 21:03:49 +01:00
• 77874cd68a
  Removed unnecessary call in solveDPLL Dimitri Lozeve 2016-08-04 20:11:47 +01:00
• 9e0c91d0e3
  DPLL algorithm Dimitri Lozeve 2016-08-03 20:52:50 +01:00
• c683e624bc
  Changed arguments order to match other functions Dimitri Lozeve 2016-08-03 20:33:25 +01:00
• e36db42ec7
  Third test Dimitri Lozeve 2016-08-03 20:29:38 +01:00
• 23d5e2ff1b
  Resolution rule: solver Dimitri Lozeve 2016-08-03 20:28:52 +01:00
• 3a62fd2363
  Resolution rule: finding suitable pairs of clauses Dimitri Lozeve 2016-08-03 19:30:43 +01:00
• f0ab796149
  Resolution rule: basic functions Dimitri Lozeve 2016-08-03 19:17:38 +01:00
• 3669bdbc23
  Second test Dimitri Lozeve 2016-08-02 20:52:43 +01:00
• d140723b26
  Unit propagation rule Dimitri Lozeve 2016-08-02 20:51:32 +01:00
• fb22e6d447
  Pure literal rule Dimitri Lozeve 2016-08-02 20:25:15 +01:00
• 83455a2252
  General-purpose functions Dimitri Lozeve 2016-08-02 19:34:44 +01:00
• e3d4c5fb79 Initial commit Dimitri Lozeve 2016-08-02 08:22:49 +01:00