MiniCP

MaRDI QIDQ56268swMATHFDO

Official website http://www.minicp.org

Described by source

• MiniCP: a lightweight solver for constraint programming

Cited in

(9)

• JaCoP
• BL data set
• OscaR
• cc(FD)
• Knet
• Mistral
• SeaPearl
• SeaPearl: a constraint programming solver guided by reinforcement learning
• CUD@SAT

This page was built for software: MiniCP