Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
egaeus
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
105 ms
·
1.
▲
by
egaeus
8y ago
Pysat does: https://pysathq.github.io/docs/html/index.html
2.
▲
by
egaeus
8y ago
It sounds like you are trying to solve a partial maxsat problem. Partial maxsat uses two sets of clauses, hard and soft clauses. The hard clauses must be satisfied and the soft clauses are "nice to haves." The goal for the solver