Cool project! Wish we would see more applications of SAT solvers or logic progra... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Lichtso on Feb 14, 2024 | parent | context | favorite | on: Enhancing Factorio with SAT solvers

Cool project! Wish we would see more applications of SAT solvers or logic programming in general.

JonChesterfield on Feb 14, 2024 [–]

SAT solvers are magic. CSP solvers are the same magic with a much friendlier interface.

Got a discrete NP hard problem? A CSP solver will probably get that done.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact