pylgl: bindings to lingeling (a SAT solver). Lingeling is an efficient SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to Lingeling on the C level, i.e., when importing pylgl, the lingeling solver becomes part of the Python process itself. For ease of deployment, the lingeling source files are included in this project. These files have been extracted from lingeling version bbe-6fe9691-170131.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: PySAT: A Python toolkit for prototyping with SAT oracles (2018)