Projects in Awesome Lists tagged with bitvectors
A curated list of projects in awesome lists tagged with bitvectors .
https://github.com/hellman/optimodel
A suite for minimizing constraint systems (CNF/DNF/MILP inequalities)
bitvectors cnf dnf linear-programming milp minimization satisfiability
Last synced: 16 Mar 2026
