ProjectOverview

Project Structure

• constraint-based model (process.mzn)
• sample process specification (example_process.dzn)
• solver output (simple-cut.txt)
• workflow log in XES format (log-simple.xes)