Pinned Repositories
cadical4j
Accessing the native CaDiCaL SAT solver throught IPASIR interface and its Java binding
cryptominisat4j
Accessing the native CryptoMiniSat solver throught IPASIR interface and its Java binding
elk-reasoner
A Java-based OWL 2 EL reasoner
ipasir
Native libraries for IPASIR
ipasir4j
Java library for IPASIR
protege-black-box-justification
protege-justification-explanation
protege-proof-explanation
protege-proof-justification
puli
A library for manipulating with proofs that use inference rules
liveontologies's Repositories
liveontologies/elk-reasoner
A Java-based OWL 2 EL reasoner
liveontologies/cadical4j
Accessing the native CaDiCaL SAT solver throught IPASIR interface and its Java binding
liveontologies/cryptominisat4j
Accessing the native CryptoMiniSat solver throught IPASIR interface and its Java binding
liveontologies/docker-pinpointing-experiments
Docker image for pinpointing experiments.
liveontologies/ipasir
Native libraries for IPASIR
liveontologies/ipasir2020
The Standard Interface for Incremental Satisfiability Solving
liveontologies/ipasir4j
Java library for IPASIR
liveontologies/jna-build-helper
Helps building and packaging of shared native libraries to be used with the Java Native Access (JNA) library
liveontologies/minisat4j
Accessing the native MiniSat solver through IPASIR interface and its Java binding
liveontologies/protege
Protege Desktop
liveontologies/protege-black-box-justification
liveontologies/protege-justification-explanation
liveontologies/protege-proof-explanation
liveontologies/protege-proof-justification
liveontologies/puli
A library for manipulating with proofs that use inference rules
liveontologies/telemetry
An API and implementation for recording timings and measurements
liveontologies/trigger-travis
Trigger a Travis job
liveontologies/cadical
CaDiCaL SAT Solver
liveontologies/cryptominisat
An advanced SAT solver
liveontologies/glucose4j
Accessing the native Glucose SAT solver through IPASIR interface and its Java binding
liveontologies/minisat
A minimalistic and high-performance SAT solver
liveontologies/owlapi-proof
liveontologies/pinpointing-experiments
Experiments for extracting justifications from proofs.
liveontologies/plume-lib
A library of useful abstractions for programming