Eugen Sawin <sawine@me73.com> [Tue, 31 May 2011 00:58:51 +0200] rev 26
Added satisfiabilty test via minisat.
Eugen Sawin <sawine@me73.com> [Mon, 30 May 2011 15:51:01 +0200] rev 25
Added DIMACS CNF input file generation.
Eugen Sawin <sawine@me73.com> [Mon, 30 May 2011 13:19:03 +0200] rev 24
Minor fix.
Eugen Sawin <sawine@me73.com> [Mon, 30 May 2011 13:16:21 +0200] rev 23
Introduced varargs for values.
Eugen Sawin <sawine@me73.com> [Wed, 18 May 2011 05:09:05 +0200] rev 22
Basic CNF.
Eugen Sawin <sawine@me73.com> [Wed, 18 May 2011 03:51:08 +0200] rev 21
Basic MCNF.
Eugen Sawin <sawine@me73.com> [Wed, 18 May 2011 03:23:35 +0200] rev 20
Fixed variable bug with de morgan.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 19:11:34 +0200] rev 19
Added modality distribution.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 18:32:19 +0200] rev 18
Added iterated modalities reduction.
Eugen Sawin <sawine@me73.com> [Tue, 17 May 2011 18:05:04 +0200] rev 17
Fix negation.