issues
search
TeamAmalgam
/
kodkod
Kodkod relational model finder
Other
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Windows Builds with MSVC
#59
cpkleynhans
closed
10 years ago
17
Fix Kodkod build on Mavericks
#58
mhyee
opened
10 years ago
2
Get KodKod to build on Windows with MSVC
#57
cpkleynhans
closed
10 years ago
0
Specify the order of the objectives explicitly.
#56
cpkleynhans
closed
10 years ago
1
Integrate checkpointed solver to PGIA
#55
joseph39
closed
10 years ago
0
Remove unnecessary checkpointing/rollback pairs
#54
joseph39
closed
10 years ago
0
Adds arguments support for moolloy
#53
AtulanZaman
closed
10 years ago
0
Use native solver libs when running unit tests
#52
cpkleynhans
closed
10 years ago
2
Combining OGIA and PGIA
#51
mhyee
opened
10 years ago
0
Cloning solvers
#50
mhyee
opened
10 years ago
0
Using CGIA as a base solver
#49
mhyee
opened
10 years ago
0
Reduce memory usage of CGIA
#48
mhyee
closed
10 years ago
2
OGIA: Exclusion constraints are "not dominated by X and does not dominate X"
#47
mhyee
opened
10 years ago
1
Recursively partitioning the search space
#46
mhyee
opened
10 years ago
0
Integrate integer elision
#45
mhyee
opened
10 years ago
0
OGIA: Add exclusion constraints for non-pareto points to global exclusion constraints variable
#44
joseph39
opened
10 years ago
0
Cancel Pareto-searching threads in OGIA if all Pareto points have already been found
#43
mhyee
opened
10 years ago
0
Prioritize magnifier tasks in OGIA
#42
mhyee
opened
10 years ago
0
Remove the old version of waf in libs
#41
cpkleynhans
closed
10 years ago
0
Implement PartitionedGuidedImprovementAlgorithm
#40
mhyee
closed
10 years ago
6
Add Checkpointing Support to Kodkod
#39
cpkleynhans
closed
10 years ago
6
Specify which algorithm to use
#38
joseph39
closed
10 years ago
1
Allow exceptions to propogate from solver thread to main thread.
#37
cpkleynhans
closed
10 years ago
3
Solution Deduplicator and Overlapped GIA
#36
joseph39
closed
10 years ago
2
Rename unit test to match convention. Properly implement the without symmetry breaking test
#35
mhyee
closed
10 years ago
0
Create a Unified Thread Pool for Finding Pareto Points and Performing MagnifyingGlass
#34
joseph39
closed
10 years ago
1
Make StepCounter thread safe
#33
mhyee
opened
10 years ago
0
Partitioning the search space
#32
mhyee
closed
10 years ago
5
Bounded GIA
#31
mhyee
closed
10 years ago
5
Specify number of threads to use
#30
mhyee
opened
10 years ago
1
Finding first Pareto point in PartitionedGIA
#29
mhyee
closed
10 years ago
2
Add missing StepCounter call in IGIA
#28
mhyee
closed
10 years ago
3
Add Z3 wrapper as a SAT Solver.
#27
cpkleynhans
closed
10 years ago
8
Implement Solution Deduplicator
#26
joseph39
closed
10 years ago
0
Bounded GIA
#25
mhyee
closed
10 years ago
2
Integrate Z3 as a prover.
#24
cpkleynhans
closed
10 years ago
2
Integrate Z3 as a solver.
#23
cpkleynhans
closed
10 years ago
1
Use StringBuilder to combine multiline logging
#22
mhyee
closed
10 years ago
3
Changed MOO algorithm classes to use built-in java logging library
#21
joseph39
closed
10 years ago
4
Allow build to skip building solvers.
#20
cpkleynhans
closed
10 years ago
2
Refactors statistics and logging out of the algorithm subclasses
#19
AtulanZaman
closed
10 years ago
3
Stats for magnifying glass
#18
mhyee
closed
11 years ago
2
Specify the type of algorithm to use in MultiObjectiveOptions
#17
mhyee
closed
10 years ago
3
Incremental Multiobjective Solving. Fixes #7
#16
cpkleynhans
closed
11 years ago
3
Stats for magnifyingGlass
#15
mhyee
closed
11 years ago
0
Parallel GIA
#14
mhyee
closed
10 years ago
1
Clean up MultiObjectiveAlgorithm
#13
mhyee
closed
10 years ago
0
Consolidate options
#12
mhyee
opened
11 years ago
1
Option to disable logging output
#11
mhyee
closed
11 years ago
1
Logging
#10
mhyee
closed
10 years ago
1
Next