SWI-Prolog/packages-clpqr

CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck

GitHub repository with 9 stars and 7 forks.

Language: Prolog

Open provider repository