Oz Explorer

MaRDI QIDQ35383swMATHFDO

Official website http://www.ps.uni-saarland.de/oz2/tools/explorer.html

Cited in

(12)

• How efficient is a global constraint in practice? A fair experimental framework
• An Interactive Driver for Goal-directed Proof Strategies
• DPvis
• CLPGUI
• MinisatID
• SATGraf
• VIFID/TRIFID
• APT
• DiSCiPl
• HiRise
• Model-driven visualizations of constraint-based local search
• Visual search tree profiling

This page was built for software: Oz Explorer