| Tue, 31 May 2011 00:58:51 +0200 |
Eugen Sawin |
Added satisfiabilty test via minisat.
default tip
|
changeset |
files
|
| Mon, 30 May 2011 15:51:01 +0200 |
Eugen Sawin |
Added DIMACS CNF input file generation.
|
changeset |
files
|
| Mon, 30 May 2011 13:19:03 +0200 |
Eugen Sawin |
Minor fix.
|
changeset |
files
|
| Mon, 30 May 2011 13:16:21 +0200 |
Eugen Sawin |
Introduced varargs for values.
|
changeset |
files
|
| Wed, 18 May 2011 05:09:05 +0200 |
Eugen Sawin |
Basic CNF.
|
changeset |
files
|
| Wed, 18 May 2011 03:51:08 +0200 |
Eugen Sawin |
Basic MCNF.
|
changeset |
files
|
| Wed, 18 May 2011 03:23:35 +0200 |
Eugen Sawin |
Fixed variable bug with de morgan.
|
changeset |
files
|
| Tue, 17 May 2011 19:11:34 +0200 |
Eugen Sawin |
Added modality distribution.
|
changeset |
files
|
| Tue, 17 May 2011 18:32:19 +0200 |
Eugen Sawin |
Added iterated modalities reduction.
|
changeset |
files
|
| Tue, 17 May 2011 18:05:04 +0200 |
Eugen Sawin |
Fix negation.
|
changeset |
files
|
| Tue, 17 May 2011 18:04:06 +0200 |
Eugen Sawin |
Fix negation.
|
changeset |
files
|
| Tue, 17 May 2011 18:01:22 +0200 |
Eugen Sawin |
Fix negation.
|
changeset |
files
|
| Tue, 17 May 2011 18:00:34 +0200 |
Eugen Sawin |
Fix negation.
|
changeset |
files
|
| Tue, 17 May 2011 16:11:11 +0200 |
Eugen Sawin |
Added header.
|
changeset |
files
|
| Tue, 17 May 2011 16:08:39 +0200 |
Eugen Sawin |
Renamed file.
|
changeset |
files
|
| Tue, 17 May 2011 16:08:04 +0200 |
Eugen Sawin |
Cleaned up.
|
changeset |
files
|
| Tue, 17 May 2011 14:05:25 +0200 |
Eugen Sawin |
Fixed double not reduction.
|
changeset |
files
|
| Tue, 17 May 2011 13:52:38 +0200 |
Eugen Sawin |
Hacked reduction.
|
changeset |
files
|
| Tue, 17 May 2011 04:10:39 +0200 |
Eugen Sawin |
Hacked reduction.
|
changeset |
files
|
| Tue, 17 May 2011 03:38:02 +0200 |
Eugen Sawin |
Hacked reduction.
|
changeset |
files
|
| Tue, 17 May 2011 02:19:11 +0200 |
Eugen Sawin |
Somewhat working version.
|
changeset |
files
|
| Mon, 16 May 2011 22:35:49 +0200 |
Eugen Sawin |
Forgot some operators.
|
changeset |
files
|
| Mon, 16 May 2011 22:12:54 +0200 |
Eugen Sawin |
Finished syntax tree.
|
changeset |
files
|
| Mon, 16 May 2011 21:51:29 +0200 |
Eugen Sawin |
Syntax tree construction.
|
changeset |
files
|
| Mon, 16 May 2011 21:43:50 +0200 |
Eugen Sawin |
Syntax tree construction.
|
changeset |
files
|
| Mon, 16 May 2011 20:23:22 +0200 |
Eugen Sawin |
First working parser.
|
changeset |
files
|
| Mon, 16 May 2011 17:10:56 +0200 |
Eugen Sawin |
Initial parser.
|
changeset |
files
|