Repositories list

• CAV_2025_artifact

  Public
  Rust

  •

  GNU General Public License v3.0

  •1•4•0•0•Updated May 1, 2025May 1, 2025

• extavy_public

  Public
  CMake

  •

  MIT License

  •0•1•0•0•Updated Feb 9, 2025Feb 9, 2025

• avy_public

  Public
  C++

  •

  Other

  •0•2•0•0•Updated Feb 1, 2025Feb 1, 2025

• cadical_itp

  Public
  CaDiCaL SAT Solver

  C++

  •

  MIT License

  •154•0•0•1•Updated Jan 27, 2025Jan 27, 2025

• cadical-rs-clone-and-merge

  Public
  Rust bindings for the CaDiCaL SAT solver

  C++

  •

  MIT License

  •8•0•0•0•Updated Oct 19, 2024Oct 19, 2024

• hwmcc24_submission

  Public
  Our submission for HWMCC24

  C

  •1•2•1•0•Updated Sep 17, 2024Sep 17, 2024

• cadical-rs

  Public
  Rust bindings for the CaDiCaL SAT solver

  C++

  •

  MIT License

  •8•0•0•0•Updated Aug 22, 2024Aug 22, 2024

• CaDiCaL-DRUPing-for-Interpolants-Project-Version-Base

  Public
  This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.

  model-checkingformal-methodstechnion+ 1sat-solving

  C++

  •

  MIT License

  •154•0•0•0•Updated May 12, 2024May 12, 2024

• DRUPing-CaDiCaL

  Public
  This repository provides an extension to the CaDiCaL SAT solver that implements the "DRUPing for Interpolants" algorithm.

  C++

  •

  MIT License

  •154•0•0•0•Updated Feb 2, 2024Feb 2, 2024

• .github

  Public
  0•0•0•0•Updated Oct 15, 2023Oct 15, 2023

• cadical

  Public
  CaDiCaL SAT Solver, this fork solves a minor bug that is yet to be solved in CaDiCal, but is needed for rust bindings..

  C++

  •

  MIT License

  •154•0•0•0•Updated Apr 1, 2023Apr 1, 2023