CLPGUI

MaRDI QIDQ26730swMATHFDO

Official website http://link.springer.com/article/10.1023/B:CONS.0000049203.53383.c1

Cited in

(7)

• On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
• Rules2CP
• Metatool
• Petriweb
• APT
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• An Interactive Driver for Goal-directed Proof Strategies

This page was built for software: CLPGUI