published Published 6 months ago
pychoco: all-inclusive Python bindings for the Choco-solver constraint programming library
Python C SWIG
published Published about 3 years ago
ALNS: a Python implementation of the adaptive large neighbourhood search metaheuristic
Python
published Published over 5 years ago
CircuitGraph: A Python package for Boolean circuits
Python Coq Verilog SystemVerilog
published Published over 5 years ago

