Oz Explorer

swMATH23612MaRDI QIDQ35383FDOQ35383

Author name not available (Why is that?)

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

Cited In (12)

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

This page was built for software: Oz Explorer