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