Constraint Programming

siiky
2023/11/15
2023/11/15
2024/05/10
programming

gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Constraint_programming (gemi.dev)

A paradigm of programming based on logical constraints over the set of solutions.

More specifically, I'm interested in the SAT (SATisfiability) and IP (Integer Programming) problems.

gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Boolean_satisfiability_problem (gemi.dev)
gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Integer_programming (gemi.dev)

Some solvers, implemented in C or with a C API:

https://scipopt.org/doc/html/index.php (https://scipopt.org)
https://z3prover.github.io/api/html/z3__api_8h.html (https://z3prover.github.io)
https://github.com/arminbiere/kissat (https://github.com)

pl.c.gmi