Giters

uuverifiers / bct

Bounded Connection Tableaux

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

bct

Bounded Connection Tableaux

About

Bounded Connection Tableaux

License:GNU General Public License v3.0

Languages

Language:Scala 73.5%Language:OpenEdge ABL 26.5%