Repositories list

• cadical4j

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

  Makefile

  •

  Apache License 2.0

  •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

• ipasir4j

  Public
  Java library for IPASIR

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

• jna-build-helper

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

  Apache License 2.0

  •0•0•0•0•Updated Feb 24, 2026Feb 24, 2026

• elk-reasoner

  Public
  A Java-based OWL 2 EL reasoner

  Java

  •

  Apache License 2.0

  •27•115•22•1•Updated Jul 11, 2024Jul 11, 2024

• cryptominisat4j

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

  Makefile

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• glucose4j

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

  C

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• minisat4j

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

  C

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• protege

  Public
  Protege Desktop

  Java

  •

  Other

  •270•0•0•0•Updated Jun 12, 2024Jun 12, 2024

• protege-proof-explanation

  Public
  Java

  •

  Apache License 2.0

  •1•0•2•2•Updated May 27, 2024May 27, 2024

• protege-proof-justification

  Public
  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated May 24, 2024May 24, 2024

• protege-justification-explanation

  Public
  Java

  •

  Apache License 2.0

  •0•1•8•0•Updated May 24, 2024May 24, 2024

• puli

  Public
  A library for manipulating with proofs that use inference rules

  Java

  •

  Apache License 2.0

  •2•1•1•0•Updated May 7, 2024May 7, 2024

• protege-black-box-justification

  Public
  Java

  •

  Apache License 2.0

  •1•0•3•0•Updated May 7, 2024May 7, 2024

• cryptominisat

  Public
  An advanced SAT solver

  C++

  •

  Other

  •200•0•0•0•Updated Aug 1, 2020Aug 1, 2020

• ipasir

  Public
  Native libraries for IPASIR

  mavenjnasat

  mavenjnasat

  Makefile

  •

  Other

  •2•1•0•0•Updated Jul 31, 2020Jul 31, 2020

• cadical

  Public
  CaDiCaL SAT Solver

  C++

  •

  MIT License

  •171•0•0•0•Updated Apr 14, 2020Apr 14, 2020

• ipasir2020

  Public
  The Standard Interface for Incremental Satisfiability Solving

  C++

  •

  Other

  •14•0•0•0•Updated Apr 4, 2020Apr 4, 2020

• minisat

  Public
  A minimalistic and high-performance SAT solver

  C++

  •

  Other

  •412•0•0•0•Updated Mar 24, 2020Mar 24, 2020

• trigger-travis

  Public
  Trigger a Travis job

  Shell

  •

  MIT License

  •9•0•0•0•Updated Dec 16, 2019Dec 16, 2019

• owlapi-proof

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 28, 2018Dec 28, 2018

• docker-pinpointing-experiments

  Public
  Docker image for pinpointing experiments.

  Java

  •

  Apache License 2.0

  •0•0•1•0•Updated Apr 12, 2018Apr 12, 2018

• pinpointing-experiments

  Public
  Experiments for extracting justifications from proofs.

  experimentsproofsdescription-logics+ 2

  experimentsproofsdescription-logicspinpointingjustifications

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 11, 2018Apr 11, 2018

• plume-lib

  Public
  A library of useful abstractions for programming

  Java

  •23•0•0•0•Updated Jan 20, 2018Jan 20, 2018

• telemetry

  Public
  An API and implementation for recording timings and measurements

  Java

  •

  GNU Lesser General Public License v3.0

  •6•0•0•0•Updated Apr 4, 2017Apr 4, 2017