issues
search
kperun
/
SATPrakPDW
Interval Constraint Propagation strategy implementation for SMTRAT
MIT License
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Create LICENSE
#68
kperun
closed
7 years ago
0
Change priority queue of trees to include diameter
#67
Verdict7
closed
7 years ago
0
Always contract to empty interval
#66
Verdict7
closed
7 years ago
0
Heuristics for choosing next subtree
#65
Verdict7
closed
7 years ago
1
Propagate infeasible subset to other child trees
#64
Verdict7
opened
7 years ago
0
Consider Weights (History) after incremental checkCore
#63
Verdict7
opened
7 years ago
3
Split > Backend
#62
Verdict7
closed
7 years ago
0
Integer Stuff
#61
Verdict7
opened
7 years ago
1
New Backend: VS -> CAD
#60
Verdict7
closed
7 years ago
0
Advanced Statistics
#59
Verdict7
opened
7 years ago
1
No longer contract all candidates to find the bestContractionCandidate
#58
Verdict7
opened
7 years ago
3
Add support for iterative calls to the backend
#57
DavidWz
closed
7 years ago
2
Create a method which calls the backend
#56
DavidWz
closed
7 years ago
3
Create method which forms constraints from our bounds
#55
DavidWz
closed
7 years ago
0
Pass formulas to backend
#54
DavidWz
closed
7 years ago
1
Add CAD Module as a backend to our ICPPDWStrategy
#53
DavidWz
closed
7 years ago
1
Consult the backend
#52
kperun
closed
7 years ago
0
Segfaults
#51
kperun
closed
7 years ago
5
No distinction between active and non-active variables
#50
kperun
closed
7 years ago
1
get best splitting variable bug
#49
Verdict7
closed
7 years ago
3
Make target diameter relative?
#48
DavidWz
closed
7 years ago
6
Improve Settings
#47
kperun
opened
7 years ago
0
Split prefers bounded over unbounded intervals
#46
Verdict7
closed
7 years ago
1
Avoid duplicate slack variables
#45
DavidWz
closed
7 years ago
0
Dynamically update guessed solution model
#44
Verdict7
opened
7 years ago
1
Choosing the splitting variable: Look at unsatisfied constraints
#43
Verdict7
closed
7 years ago
2
Benchmarking Suite
#42
Verdict7
closed
7 years ago
4
Improve Logging by using Log-Levels
#41
DavidWz
closed
7 years ago
1
Improve removeConstraint
#40
DavidWz
closed
7 years ago
0
Termination due to number of splits ignored
#39
Verdict7
closed
7 years ago
1
Try to guess a solution before performing a manual split
#38
DavidWz
closed
7 years ago
1
Bug / unintended behavior in getBestContractionCandidate() with infinities
#37
DavidWz
closed
7 years ago
0
Idea for heuristic for choosing next contraction candidate
#36
Verdict7
closed
7 years ago
1
Make the list of leave nodes a priority queue
#35
Verdict7
closed
7 years ago
2
Bug in Contractor
#34
DavidWz
closed
7 years ago
6
Improve ICPState::getBestContractionCandidate()
#33
kperun
closed
7 years ago
1
Improve getBestContractionCandidate by using a history alpha
#32
DavidWz
closed
7 years ago
1
Enforce Linting
#31
DavidWz
closed
7 years ago
0
Create new termination conditions: max splits
#30
DavidWz
closed
7 years ago
0
Improve getBestSplitVariable
#29
DavidWz
closed
7 years ago
1
Improve guess solution by using propagation
#28
DavidWz
closed
7 years ago
1
Improve logging
#27
Verdict7
closed
7 years ago
4
Enable Statistics
#26
Verdict7
closed
7 years ago
2
Origins when splitting manually
#25
Verdict7
closed
7 years ago
1
Improve Settings
#24
Verdict7
closed
7 years ago
2
Implement manual splitting if all gains are too small
#23
DavidWz
closed
7 years ago
0
Check our solver with NEQ
#22
DavidWz
closed
7 years ago
1
Implement ICPState::getBestSplitVariable()
#21
DavidWz
closed
7 years ago
1
Implement removal of constraints
#20
DavidWz
closed
7 years ago
0
Implement incremental addition of constraints
#19
DavidWz
closed
7 years ago
0
Next