#

lingeling

Here are 2 public repositories matching this topic...

lluisalemanypuig / box-wrapping

Algorithms on the Box Wrapping Problem

optimization linear-programming constraint-programming cplex constraint-satisfaction sat gecode box-wrapping bwp box-wrapping-problem lingeling

Updated Dec 8, 2020
C++

fkutzner / lingeling-cmake

Lingeling SAT Solver fork with CMake build

cmake sat-solver sat satisfiability lingeling sat-solving

Updated Apr 13, 2024
C

Improve this page

Add a description, image, and links to the lingeling topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lingeling topic, visit your repo's landing page and select "manage topics."