Cited in
(only showing first 100 items - show all)- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- SUNNY: a lazy portfolio approach for constraint solving
- A graph-based modeling abstraction for optimization: concepts and implementation in Plasmo.jl
- MiniBrass: soft constraints for MiniZinc
- Solving constraint satisfaction problems with SAT modulo theories
- meSAT: multiple encodings of CSP to SAT
- CsegGraph
- iOpt
- SCIL
- NP-SPEC
- LSSPER
- HYPROLOG
- SALSA
- COMET
- CHIP
- Paradox
- EasyLocal++
- CSPLib
- 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
- Cadmium: An Implementation of ACD Term Rewriting
This page was built for software: MiniZinc
