Projects in Awesome Lists tagged with pseudo-boolean
A curated list of projects in awesome lists tagged with pseudo-boolean .
https://github.com/pindakaashq/pindakaas
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
cnf pseudo-boolean sat sat-encodings
Last synced: 21 Feb 2026
https://github.com/msakai/pseudo-boolean
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
Last synced: 21 Mar 2025
https://github.com/juliaqubo/pseudobooleanoptimization.jl
Pseudo-Boolean Optimization Library for Julia
julia optimization pseudo-boolean
Last synced: 14 Feb 2026
https://github.com/phoenixsmaug/reverse-gol
A backwards Game of Life solver with Integer Programming and SAT Solving
game-of-life integer-programming or-tools pseudo-boolean sat
Last synced: 18 Feb 2026
https://github.com/msakai/qplib-pb
Pseudo-boolean optimization problems converted from QPLIB
benchmarks mixed-integer-programming pseudo-boolean quadratic-programming
Last synced: 16 May 2025