Pinned

1. CVC5 CVC5 Public

   Forked from ajreynol/CVC4

   CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

   SMT

2. Verification-of-PINNs Verification-of-PINNs Public

   Forked from avaljotsingh/Verification-of-PINNs

   A tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably

   Jupyter Notebook

3. CDCL-SAT CDCL-SAT Public

   A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python

   Jupyter Notebook 11 4

4. monotonic-neural-networks monotonic-neural-networks Public

   Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity

   Python 5 1

5. C-Compiler C-Compiler Public

   A compiler for subset of C which supports function calls, expressions, if-else statements etc.

   Yacc 1

6. traffic-controller-NuSMV traffic-controller-NuSMV Public

   Project done for my B.Tech course on Formal Methods for System Verification

   5