Popular repositories Loading

1. PBDD PBDD Public

   A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online…

   Python 14 3

2. PBL PBL Public

   A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php

   Python 9 4

3. Murphi2019 Murphi2019 Public

   A home for the classic model checking tool with the intention to keep it maintained for current systems

   C++ 6 2

4. AlloyForwardProgress AlloyForwardProgress Public

   A repo for AlloyForwardProgress

   Metal 3 1

5. academic-kickstart academic-kickstart Public

   Shell 1

6. GPU_workgroup_managment GPU_workgroup_managment Public

   A private repo for working on the dynamic GPU workgroup managment project

   C