jcel
Project
Code
http://jcel.sourceforge.net
jcel is a reasoner for the description logic EL+. It uses the OWL API and can be used as a plug-in f...
1800 views
| |
Anzu
Code
http://www.ist.tugraz.at/staff/jobstmann/anzu/
Anzu synthesizes Verilog designs from specifications written in LTL (Linear Temporal Logic). Softwar...
3947 views
|