A Python library that integrates machine learning with constraint optimization using the AI Domain Definition Language. read more of Moving Targets via AIDDL

A lightweight approach for implementing constructive disjunction for in SICStus Prolog. read more of ITE for SICStus Prolog

sunny-cp is a parallel portfolio solver for solving Constraint Satisfaction/Optimization Problems read more of SUNNY-CP