priyanka-golia

Faculty at CISPA

Pinned Repositories

abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C01
approxmc
Approximate Model Counter
Language:C++0 0 00
baital
Language:Python0 0 00
barbarik
The first efficient procedure to test whether a sampler is uniform
Language:Python0 0 00
benchmarks
Benchmarks for SyGuS Competition (SyGuS-Comp)
Language:SMT00
cryptominisat
An advanced SAT solver
Language:C++00
cs228-notes
Course notes for CS228: Probabilistic Graphical Models.
Language:SCSS0 0 00
manthan
Manthan for Boolean function synthesis
Language:Python0 0 00
manthan-preprocess
Language:C++00
priyanka-golia.github.io
My homepage
Language:HTML2 0 00

priyanka-golia's Repositories

priyanka-golia/priyanka-golia.github.io
My homepage
Language:HTML2 0 00
priyanka-golia/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C01
priyanka-golia/approxmc
Approximate Model Counter
Language:C++0 0 00
priyanka-golia/baital
Language:Python0 0 00
priyanka-golia/barbarik
The first efficient procedure to test whether a sampler is uniform
Language:Python0 0 00
priyanka-golia/benchmarks
Benchmarks for SyGuS Competition (SyGuS-Comp)
Language:SMT00
priyanka-golia/cryptominisat
An advanced SAT solver
Language:C++00
priyanka-golia/cs228-notes
Course notes for CS228: Probabilistic Graphical Models.
Language:SCSS0 0 00
priyanka-golia/manthan
Manthan for Boolean function synthesis
Language:Python0 0 00
priyanka-golia/manthan-preprocess
Language:C++00
priyanka-golia/meelgroup-website-new
📝 Easily create a beautiful website using Academic, Hugo, and Netlify
Language:TeX0 0 00
priyanka-golia/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C0 0 00
priyanka-golia/usampling-exp
Uniform, random sampling: large study and results of different SAT-based samplers
Language:Jupyter Notebook00
priyanka-golia/picosat
just a copy of picosat avaiable at https://fmv.jku.at/picosat/ version 965
Language:C