sat

29 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Prolog output should match the input of the sat solver
user_124177780
•
1
1
60
sat swi-prolog prolog logic
Converting CNF format to DIMACS format
user_184231750
•
2
1
391
cnf sat python
Slow dnf to cnf in pycosat
user_14694650
•
2
1
247
sat solver profiler python
How to use soft constraints in Z3-Python to express 'abstract' biases in SAT search: such as 'I prefer half of the literals to be true and half false'
user_140823850
•
1
1
166
satisfiability theorem-proving z3py z3 sat
How to bias Z3's (Python) SAT solving towards a criteria, such as 'preferring' to have more negated literals
user_140823850
•
2
2
110
satisfiability theorem-proving z3py z3 sat
Better way of reading and parsing DIMACS for Z3
user_15871180
•
2
1
330
z3py z3 sat python-3.x python
Complex Boolean expression optimization, normal forms?
user_4556150
•
9
1
341
sat boolean-expression optimization expression
Finding the first UIP in an inference graph
user_458430
•
5
1
375
sat graph-theory graph-algorithm algorithm
How to declare forall quantifiers in SMTLIB / Z3 / CVC4?
user_135675820
•
2
1
178
cvc4 smt z3 sat
What is the most elegant way to find 16-bit numbers which satisfy some conditions?
user_132936140
•
5
5
215
clpb sat logic-programming prolog constraint-programming
Hot Questions