swMATH6261MaRDI QIDQ18394FDOQ18394
Author name not available (Why is that?)
Official website: https://www.minizinc.org
Cited In (only showing first 100 items - show all)
- A graph-based modeling abstraction for optimization: concepts and implementation in Plasmo.jl
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- MiniBrass: soft constraints for MiniZinc
- meSAT: multiple encodings of CSP to SAT
- EasyLocal++
- JOBSHOP
- LocalSolver
- RPOLY
- Choco
- FlatZinc
- Gecode
- JaCoP
- SATzilla
- Cadmium
- SPOT
- wamcc
- Oz
- B-Prolog
- clasp
- ProB
- MUNCH
- CAMA
- NumberJack
- ToulBar2
- CaSPER
- Zinc
- ARXtools
- HAMPI
- Azucar
- URBiVA
- CSP2SAT4J
- OscaR
- G12
- Proteus
- MINION
- MPL
- Sugar
- BWare
- claspfolio 2
- SIMPLY
- NSPLib
- SICStus
- fzn2smt
- Kangaroo
- Oscar.cbls
- SALBPGen
- json2run
- OR-tools
- ASlib
- STR2
- ArgoTriCS
- DyLP
- SPLINTER
- CMPL
- pyCMPL
- CuSPLIB
- PASS
- FES
- MiningZinc
- S3
- Z3-str
- DAOOPT
- ILOG SCHEDULE
- mplp2
- Localizer
- OpenGM
- OPL
- iZplus
- Picat-SAT
- ESRA
- SAFER
- StrSolve
- WAPTEC
- IDP
- MiniSearch
- CBack
- vZ
- llama
- BIGNUM
- CHUFFED
- YAARX
- LINERLIB
- CryptoSMT
- aspeed
- ezcsp
- Essence
- Plasmo.jl
- QUICKXPLAIN
- JSetL
- meSAT
- LibTW
- SPINE
- anthem
- ExpoSE
- DiSCiPl
- MiniBrass
- sunny-cp
- Cadmium: An Implementation of ACD Term Rewriting
- Solving constraint satisfaction problems with SAT modulo theories
- SUNNY: a lazy portfolio approach for constraint solving
This page was built for software: MiniZinc
