💾 Archived View for siiky.srht.site › wiki › mip.gmi captured on 2024-05-10 at 11:16:57. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2023-12-28)

🚧 View Differences

-=-=-=-=-=-=-

Constraint Programming

siiky

2023/11/15

2023/11/15

2024/05/10

programming

gemini://gemi.dev/cgi-bin/wp.cgi/view/en?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.

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

gemini://gemi.dev/cgi-bin/wp.cgi/view/en?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.gmi