Home

slipvayne

A simple DLV (system for disjunctive datalog) editor and debugger developed in C# with syntax high light and other features like online manual and project management based in XML.


Project Admins: