issues
search
biotomas
/
ipasir
The Standard Interface for Incremental Satisfiability Solving
Other
47
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
typo
#26
tias
closed
2 years ago
0
SATSolver: fix handling conflict clause
#25
conp-solutions
closed
2 years ago
0
Support for creating archives, that are compiled fully with the -fPIC flag
#24
dangerbleistift
closed
2 years ago
1
Enhance the specification of ipasir_set_learn()
#23
clausecker
closed
3 years ago
0
Behaviour of repeated calls to ipasir_set_learn
#22
clausecker
closed
3 years ago
2
fix genipaessentials's learnCb function
#21
msakai
closed
3 years ago
0
change return type of ipasir_val to int32_t
#20
msakai
closed
3 years ago
0
refer INT32_MAX and INT32_MIN instead of INT_MIN and INT_MAX as the limits of literals
#19
msakai
closed
3 years ago
0
Replace usage of int with int32_t where it denotes the type of a literal
#18
Robbepop
closed
4 years ago
0
Ipasir check
#17
conp-solutions
closed
4 years ago
0
ipasir_solve and the state of the solver
#16
ykazakov
closed
4 years ago
1
ipasir_val documentation: clarify when a literal is "not important".
#15
ykazakov
closed
4 years ago
0
ipasir_failed documentation: clarify what is a "used assumption"
#14
ykazakov
closed
4 years ago
0
ipasir_set_terminate documentation: variable "state" can be confused with solver state
#13
ykazakov
closed
4 years ago
0
System doesn't fix MiniSat bug and fails to add -fpermissive
#12
msoos
closed
4 years ago
0
Lingeling does not compile as shipped
#11
msoos
closed
4 years ago
0
System requires specific version of gcc, 4.8
#10
msoos
closed
4 years ago
0
Slight ambiguity in the interface for ipasir_failed
#9
tuzz
closed
4 years ago
1
icnf: add initial wrapper
#8
nmanthey
closed
5 years ago
0
Fixed linking issues
#7
fkutzner
closed
5 years ago
0
Enhancement for ipasir.h
#6
wadoon
opened
5 years ago
5
Ipasir solve final
#5
conp-solutions
closed
5 years ago
6
hardcoded compiler version
#4
nmanthey
closed
6 years ago
1
fixed description of ipasir_set_learn
#3
Udopia
closed
7 years ago
0
Uninitialized variables in Minisat Patch
#2
StephanGocht
closed
7 years ago
1
Added Benchmark incplan.
#1
StephanGocht
closed
7 years ago
0