Pinned Repositories
afa-emptiness-checker
afaminisat
antichain for symbolic alternating finite automata
Automata
Automata and transducer library for .NET
automata-safa
symbolic alternating finite automata transformation library
cudd
CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
DQBDD
BDD based DQBF solver
DQBFbenchmarks
Benchmarks of different DQBF solvers using BenchExec framework
emptiness-brics
Nfa emptiness checker using BRICS library
mata
A fast and simple automata library
z3-noodler
The Z3-Noodler String Solver
jurajsic's Repositories
jurajsic/DQBDD
BDD based DQBF solver
jurajsic/afa-emptiness-checker
jurajsic/afaminisat
antichain for symbolic alternating finite automata
jurajsic/Automata
Automata and transducer library for .NET
jurajsic/automata-safa
symbolic alternating finite automata transformation library
jurajsic/cudd
CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
jurajsic/DQBFbenchmarks
Benchmarks of different DQBF solvers using BenchExec framework
jurajsic/emptiness-brics
Nfa emptiness checker using BRICS library
jurajsic/neuralnetworksproject
jurajsic/JAltImpact
jurajsic/libvata
VATA Tree Automata Library
jurajsic/mastersthesis
LaTeX source of my master's thesis
jurajsic/mata
A new automata library
jurajsic/Noodler
Solving String equations using automata
jurajsic/regex-smt-benchmarks
A collection of regular expression benchmarks for SMT string solvers.
jurajsic/sloth
An SMT Solver for strings
jurajsic/smt-comp.github.io
jurajsic/symbolicautomata
Library for symbolic automata and symbolic visibly pushdown automata
jurajsic/z3-noodler
The Z3 Theorem Prover
jurajsic/zaligvinder