liveontologies

A Java-based OWL 2 EL reasoner

A library for manipulating with proofs that use inference rules

Accessing the native CaDiCaL SAT solver throught IPASIR interface and its Java binding

Java library for IPASIR

Helps building and packaging of shared native libraries to be used with the Java Native Access (JNA) library

Accessing the native CryptoMiniSat solver throught IPASIR interface and its Java binding

Accessing the native Glucose SAT solver through IPASIR interface and its Java binding

Accessing the native MiniSat solver through IPASIR interface and its Java binding