Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
HiConfiT
Home
Get libraries
hiconfit-core
Common Utils
CSP2Choco Translator
Performance Evaluation
Feature Models
Knowledge Bases
Core Classes
CDRModels
Consistency-based Algorithms
Consistency Checker
Heuristics for Constraint Solver
Configurator
Feature Model Analysis
KBStatistics
FMGenerator
References
HiConfiT on GitHub
hiconfit-core
CSP2Choco Translator
CSP2Choco Translator
v1.0
groupID
at.tugraz.ist.ase.hiconfit
artifactID
csp2choco
csp2choco
provides a translator converting CSP constraints into Choco Solver commands.
TBD
Table of Contents