source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @70   12 years elshar Removed Iterator to reduce memory overhead Prepared recursive AND …
(edit) @69   12 years elshar Reduced memory consumption of MaxTermConverter?
(edit) @68   12 years elshar CNFConverter: Reduced memory consumption MaxTermConverter?: Removed …
(edit) @67   12 years krafczy Add handling for constraint with more than 15 variables
(edit) @66   12 years krafczy Refactor ModelReader? a bit
(edit) @65   12 years krafczy Finish DimacsWriter?
(edit) @64   12 years krafczy Improve test-cases for ModelReader? and MaxTermConverter?. Add comments.
(edit) @63   12 years elshar Added new test case
(edit) @62   12 years elshar Enhance runtime Added new test case
(edit) @61   12 years elshar Added example scripts
(edit) @60   12 years krafczy Finish MaxTermConverter? WIP DimacsWriter?
(edit) @59   12 years elshar Added test target
(edit) @58   12 years elshar Added jacoco and build script
(edit) @57   12 years elshar
(edit) @56   12 years elshar Initial implementation of convert mechanism
(edit) @55   12 years elshar Added DisjunctionChecker?
(edit) @54   12 years anonymous This is an empty revision for padding.
(edit) @53   12 years anonymous This is an empty revision for padding.
(edit) @52   12 years elshar Improvements in IVMLWriter More Command line arguments
(edit) @51   12 years elshar Added IVMLWriter
(edit) @50   12 years anonymous This is an empty revision for padding.
(edit) @49   12 years anonymous This is an empty revision for padding.
(edit) @48   12 years krafczy Add ModelReader?.parseLine() Add DimacsWriter? (WIP)
(edit) @47   12 years anonymous This is an empty revision for padding.
(edit) @46   12 years anonymous This is an empty revision for padding.
(edit) @45   12 years anonymous This is an empty revision for padding.
(edit) @44   12 years anonymous This is an empty revision for padding.
(edit) @43   12 years anonymous This is an empty revision for padding.
(edit) @42   12 years anonymous This is an empty revision for padding.
(edit) @41   12 years anonymous This is an empty revision for padding.
(edit) @40   12 years anonymous This is an empty revision for padding.
(edit) @39   12 years anonymous This is an empty revision for padding.
(edit) @38   12 years elshar Initial commit of ModelTranslator?
(edit) @37   12 years elshar Initial import.
(edit) @36   12 years anonymous This is an empty revision for padding.
(edit) @35   12 years www-data Create a totally empty repository.
(edit) @34   12 years anonymous This is an empty revision for padding.
(edit) @33   12 years www-data Create a totally empty repository.
(edit) @32   12 years anonymous This is an empty revision for padding.
(edit) @31   12 years www-data Create a totally empty repository.
(edit) @30   11 years elshar
(edit) @29   12 years anonymous This is an empty revision for padding.
(edit) @28   12 years www-data Create a totally empty repository.
(edit) @27   12 years anonymous This is an empty revision for padding.
(edit) @26   12 years www-data Create a totally empty repository.
(edit) @25   12 years anonymous This is an empty revision for padding.
(edit) @24   12 years www-data Create a totally empty repository.
(edit) @23   12 years anonymous This is an empty revision for padding.
(edit) @22   12 years www-data Create a totally empty repository.
(edit) @21   12 years anonymous This is an empty revision for padding.
(edit) @20   12 years www-data Create a totally empty repository.
(edit) @19   12 years anonymous This is an empty revision for padding.
(edit) @18   12 years www-data Create a totally empty repository.
(edit) @17   11 years elshar
(edit) @16   12 years anonymous This is an empty revision for padding.
(edit) @15   12 years www-data Create a totally empty repository.
(edit) @14   12 years anonymous This is an empty revision for padding.
(edit) @13   12 years www-data Create a totally empty repository.
(edit) @12   12 years anonymous This is an empty revision for padding.
(edit) @11   12 years www-data Create a totally empty repository.
(edit) @10   12 years anonymous This is an empty revision for padding.
(edit) @9   12 years www-data Create a totally empty repository.
(edit) @8   12 years anonymous This is an empty revision for padding.
(edit) @7   12 years www-data Create a totally empty repository.
(edit) @6   12 years anonymous This is an empty revision for padding.
(edit) @5   12 years www-data Create a totally empty repository.
(edit) @4   11 years elshar Created temporary folder fur importing existing project
(edit) @3   12 years anonymous This is an empty revision for padding.
(edit) @2   12 years www-data Create a totally empty repository.
(add) @1   11 years www-data Create a totally empty repository.
Note: See TracRevisionLog for help on using the revision log.