MiniCP

swMATH40568MaRDI QIDQ56268FDOQ56268

Author name not available (Why is that?)

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
• CUD@SAT
• SeaPearl: a constraint programming solver guided by reinforcement learning

This page was built for software: MiniCP