search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

turn UML into a logic #1465

Open tillmo opened 9 years ago

tillmo commented 9 years ago

see https://github.com/spechub/Hets/blob/master/Propositional/Logic_Propositional.hs how to build a logic

tillmo commented 9 years ago

@MGlauer, could you please open a pull request for your UML branch, such that it can be reviewed and then merged into master?