search

ontologyportal / sigmakee

Sigma Knowledge Engineering Environment
https://www.ontologyportal.org
GNU General Public License v3.0
103 stars 35 forks source link

Incorporate building of vampire w/ z3 in the install task. #143

Closed terry-norbraten closed 1 week ago

terry-norbraten commented 1 week ago

Updates to readme files