Constraint Programming

siiky

2023/11/15

2023/11/15

2024/05/10

programming

• https://en.wikipedia.org/wiki/Constraint_programming

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.

• https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
• https://en.wikipedia.org/wiki/Integer_programming

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

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

• pl.c.html