decision-procedure

There are 0 repository under decision-procedure topic.

• GaloisInc / blt

  Lattice-based integer linear programming solver

  linear-programmingdecision-procedurelattice-reductionhaskellhaskell-bindingssolverilpilp-solverhaskell-apiyicesglpkntl
  Language:C++ 65

• Robbepop / stevia

  A simple (unfinished) SMT solver for QF_ABV.

  decision-proceduresymbolic-executionsmtbitvectorsmtlibv2
  Language:Rust 34

• gallais / agda-presburger

  Deciding Presburger arithmetic in agda

  agdadecision-procedureformalizationpresburger-arithmetic
  Language:Agda 31

• gihanmarasingha / miu_language

  A decision procedure for the formal system MIU, written in Lean 3.18.4

  leanleanprovermiudecision-procedure
  Language:Lean 8

• benjaminfjones / presburger

  WIP - Library for efficient Presburger Arithmetic

  decision-procedurelinear-programmingsmtrustparser
  Language:Rust 3

• TDacik / Astral

  Decision procedure for strong-separation logic

  decision-procedurelogicseparation-logic
  Language:OCaml 3

• tfiedor / gaston

  Novel decision procedure for WS1S logic

  decision-proceduresolverws1s-logic
  Language:C++ 2

• bhusalb / DiPAut

  DiPAut is a software tool built in Python that checks the differential privacy of online randomized algorithms. It computes a bound "d" for the weight of the automaton, ensuring differential privacy for all privacy budgets "ε".

  automatadecision-proceduredifferential-privacyformal-verification
  Language:Python 0

• farif / BEACON

  description-logicsowl-ontologysat-solverunsatdecision-procedure
  Language:Python 0

• farif / SMTSudoku

  smtlib2sudoku-solverdecision-procedure
  Language:Python 0