satisfiability

10 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How is pywraplp SAT different from CP-SAT?
user_187267740
•
1
1
139
satisfiability or-tools constraint-programming
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
Calling Z3 as black box from Ocaml
user_140823850
•
2
1
65
satisfiability z3 first-order-logic formal-verification ocaml
Bounding number of allowable True/False in Z3
user_162437930
•
1
1
175
satisfiability z3
Incremental weakening Maxsat
user_129309280
•
2
1
101
sat-solvers satisfiability smt sat constraint-programming
finding max of the numbers in z3 using SMTLIB2
user_122293190
•
2
2
373
satisfiability z3 sat python
Tool to solve propositional logic / boolean expressions (SAT Solver?)
user_64766130
•
3
1
516
satisfiability sat logic boolean-expression boolean-logic
Restricted boolean formulas for avoiding NP-completeness
user_9847860
•
3
0
186
satisfiability model-checking logic boolean-logic
Difference between C-SAT and SAT?
user_48482240
•
4
2
579
satisfiability sat np-complete algorithm
  • 1
Hot Questions