GitHub repository: ridgeworks/clpBNR
Primary language: Prolog
Description: CLP(BNR) module for SWI-Prolog