-
ondrik.github.io Public
Forked from mmistakes/minimal-mistakesMy web page
-
automata-benchmarks Public
A repository with benchmarks for automata
-
-
-
VMCAI-badges Public
Forked from liyong31/VMCAI-badgesLatex code for VMCAI badges
TeX Other UpdatedNov 7, 2025 -
-
smt-comp.github.io Public
Forked from SMT-COMP/smt-comp.github.ioHTML MIT License UpdatedJun 10, 2025 -
-
libvata Public
VATA Tree Automata Library
-
-
libvata2 Public
An attempt to revamp VATA
-
-
iny-fix Public
Fix of the algorithm for computing simulations in Ilie, Navarro, Yu: On NFA Reductions. Theory Is Forever 2004: 112-124
-
caqe Public
Forked from ltentrup/caqeCAQE is a solver for quantified Boolean formulas
Rust UpdatedJun 6, 2022 -
pcap_generator Public
Makes a PCAP file with a TCP stream obtained from a file
Python UpdatedDec 12, 2021 -
ba-inclusion Public
Forked from vhavlena/rankerC++ GNU General Public License v3.0 UpdatedDec 1, 2021 -
-
-
-
-
-
MONA Public
Forked from cs-au-dk/MONAMONA - a decision procedure for monadic second-order logic on finite strings and trees
C GNU General Public License v2.0 UpdatedAug 25, 2018 -
tcs Public
Forked from boazbk/tcsLecture notes on introduction to theoretical computer science
-
artmc-nondet Public
An archive OCaml version of abstract regular tree model checking (ARTMC)
OCaml UpdatedSep 25, 2017 -
forester Public
Forked from kdudka/predatorTool for Verification of Programs with Pointers
-
gaston Public
Forked from tfiedor/gastonNovel decision procedure for WS1S logic
C++ UpdatedApr 19, 2016 -
-
dWiNA Public
Forked from tfiedor/dWiNAImplementation of decision procedure for WSkS logic
C++ UpdatedOct 17, 2014 -
{{ message }}