decision-procedure

Here are 3 public repositories matching this topic...

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 "ε".

automata formal-verification decision-procedure differential-privacy

Updated Sep 13, 2023
Python

farif / SMTSudoku

Star

sudoku-solver decision-procedure smtlib2

Updated Aug 7, 2020
Python

farif / BEACON

Star

sat-solver decision-procedure description-logics owl-ontology unsat

Updated Aug 9, 2020
Python

Improve this page

Add a description, image, and links to the decision-procedure topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the decision-procedure topic, visit your repo's landing page and select "manage topics."

Learn more