A graphical implementation of propositional logic expressions using EMF framework and solving it using Choco-CP, a Java Constraint Programming Library
-
Notifications
You must be signed in to change notification settings - Fork 0
marcosfmmota/PropositionalDSL
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A DSL to graphically especify Propositional Logic formulas and solve them.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published