constraint-programming topic

Constraint Solver ACE

xcsp3team

Entropy-controlled contexts in Python

hyperc-ai

EA FC 24 Automated SBC Solving using Integer Programming ⚽

Regista6

An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

hadipourh

Logical programming in JavaScript

awto

FelooPy: Efficient & Feature-Rich Integrated Decision Environment

ktafakkori

An integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets,...

cnapy-org

My unofficial picat http://picat-lang.org/ repository

mingodad

Assembly super-optimization via constraint solving

slothy-optimizer

Python library for declarative, constrained, structured-output prediction.

unitn-sml