ifs
ifs.dbt
ifs.example.csp
ifs.example.jobshop
ifs.example.rpp
ifs.example.tt
ifs.extension
ifs.heuristics
ifs.model
ifs.perturbations
ifs.solution
ifs.solver
ifs.termination
ifs.util
ttsolver
ttsolver.constraint
ttsolver.heuristics
ttsolver.model
