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