Asset Type
Executable
ITE for SICStus Prolog
A lightweight approach for implementing constructive disjunction for in SICStus Prolog.
AI Assets related to #Constraint Programming
Asset Type
Docker container
SUNNY-CP
sunny-cp is a parallel portfolio solver for solving Constraint Satisfaction/Optimization Problems