Hacker Times
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
rurban
on Oct 15, 2020
|
parent
|
context
|
favorite
| on:
OptaPlanner – constraint solver for optimizing pla...
Many prologs or derivates (like datalog or picat) use efficient sat solvers internally for quite some time already.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
