CryptoMiniSat

CryptoMiniSat is a SAT solver that aims to excel at solving both cryptographic and non-cryptographic SAT problems. It is a DPLL-based, modular, modern SAT solver with a lot of features and options.

Activities

• Tuesday May 08 2012

  • Commit

    13:03

    

    Mate Soos created branch master-multithread on cryptominisat/cryptominisat

• Friday April 27 2012

  • Push

    23:44

    

    Mate Soos pushed 12 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from 5c4041d to 0fe9936

    

  • Push

    14:12

    

    Mate Soos pushed 53 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from a78ef2c to 5c4041d

    

• Tuesday April 17 2012

  • Push

    19:15

    

    Mate Soos pushed 1 commit to cryptominisat/cryptominisat:cryptominisat-2.9.4. View diff

    cryptominisat-2.9.4 changed from b694bb7 to 7a1e6fd

    

  • Commit

    11:42

    

    Mate Soos created branch cryptominisat-2.9.4 on cryptominisat/cryptominisat

  • Push

    11:41

    

    Mate Soos pushed 2 commits to cryptominisat/cryptominisat:cryptominisat-2.9.3. View diff

    cryptominisat-2.9.3 changed from 74d98ea to e93628c

    

  • Push

    11:41

    

    Mate Soos pushed 22 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from 4ce1d06 to a78ef2c

    

• Tuesday April 10 2012

  • Push

    15:56

    

    Mate Soos pushed 2 commits to cryptominisat/cryptominisat:cryptominisat-2.9.3. View diff

    cryptominisat-2.9.3 changed from 96ce480 to 74d98ea

    

  • Push

    15:56

    

    Mate Soos pushed 20 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from 57a64ee to 4ce1d06

    

• Sunday April 08 2012

  • Push

    18:52

    

    Mate Soos pushed 1 commit to cryptominisat/cryptominisat:cryptominisat-2.9.3. View diff

    cryptominisat-2.9.3 changed from 280ef8c to 96ce480

    

  • Push

    18:52

    

    Mate Soos pushed 49 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from f0c46f6 to 57a64ee

    

  • Commit

    18:50

    

    Mate Soos created branch cryptominisat-2.9.3 on cryptominisat/cryptominisat

• Wednesday March 28 2012

  • Project

    19:23

    

    Dejan Jovanović deleted Dejan Jovanović/cryptominismt

• Friday March 23 2012

  • Favorite

    01:45

    

    Richard Springer started watching cryptominisat/cryptominisat

• Tuesday March 13 2012

  • Push

    23:54

    

    Mate Soos pushed 26 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from ecee2eb to f0c46f6

    

  • Push

    16:13

    

    Mate Soos pushed 1 commit to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from 105a8a9 to ecee2eb

    

  • Push

    16:08

    

    Mate Soos pushed 1 commit to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from 8347668 to 105a8a9

    

• Monday March 12 2012

  • Push

    23:02

    

    Mate Soos pushed 4 commits to cryptominisat/cryptominisat:master-singlethread-noclausedata. View diff

    master-singlethread-noclausedata changed from 728a0fa to 8347668

    

  • Commit

    21:58

    

    Mate Soos created branch master-singlethread-noclausedata on cryptominisat/cryptominisat

• Sunday March 11 2012

  • Push

    18:43

    

    Mate Soos pushed 24 commits to cryptominisat/cryptominisat:master. View diff

    master changed from 86e9beb to bdd3706

    

• Tuesday February 21 2012

  • Favorite

    13:42

    

    evandrix started watching ~jaymes/cryptominisat/cryptominisat-osx

• Sunday February 05 2012

  • Push

    17:57

    

    Mate Soos pushed 3 commits to cryptominisat/cryptominisat:master. View diff

    master changed from b5f5329 to 86e9beb

    

  • Push

    15:29

    

    Mate Soos pushed 8 commits to cryptominisat/cryptominisat:master. View diff

    master changed from ae06a77 to b5f5329

    

  • Push

    10:51

    

    Mate Soos pushed 4 commits to cryptominisat/cryptominisat:master. View diff

    master changed from 92e90ff to ae06a77

    

• Friday February 03 2012

  • Push

    22:10

    

    Mate Soos pushed 5 commits to cryptominisat/cryptominisat:master. View diff

    master changed from 944b839 to 92e90ff

    

• Thursday February 02 2012

  • Push

    20:03

    

    Mate Soos pushed 18 commits to cryptominisat/cryptominisat:master. View diff

    master changed from b2190a3 to 944b839

    

  • Push

    12:57

    

    Mate Soos pushed 8 commits to cryptominisat/cryptominisat:master. View diff

    master changed from 5f363d7 to b2190a3

    

• Wednesday February 01 2012

  • Push

    15:55

    

    Mate Soos pushed 5 commits to cryptominisat/cryptominisat:master. View diff

    master changed from f60f7a7 to 5f363d7

    

• Tuesday January 31 2012

  • Push

    19:52

    

    Mate Soos pushed 9 commits to cryptominisat/cryptominisat:master. View diff

    master changed from 890c12d to f60f7a7

    

  • Push

    12:14

    

    Mate Soos pushed 72 commits to cryptominisat/cryptominisat:master. View diff

    master changed from 9d6b8db to 890c12d