Pinned Repositories
aoc17
Advent of Code 2017: an attempt to (partly) solve some exercises with asp or sat solvers
cbmc
C Bounded Model Checker
clojbot
hello_bot
Skeleton for messenger bot on google app engine
minisat
A minimalistic and high-performance SAT solver
myclubs-backend-challenge
myClubs backend dev challenge
prolog-viz
The best Prolog visualizer
rapid
First-order software verification tool using superposition-based theorem proving to establish functional correctness of array and hyperproperties.
saturation-visualization
A visualization tool, which enables an efficient and interactive analysis of Vampire proof attempts.
server-vampire
A simple Python-server which wraps around Vampire.
mina1604's Repositories
mina1604/aoc17
Advent of Code 2017: an attempt to (partly) solve some exercises with asp or sat solvers
mina1604/cbmc
C Bounded Model Checker
mina1604/clojbot
mina1604/hello_bot
Skeleton for messenger bot on google app engine
mina1604/minisat
A minimalistic and high-performance SAT solver
mina1604/myclubs-backend-challenge
myClubs backend dev challenge
mina1604/prolog-viz
The best Prolog visualizer
mina1604/rapid
First-order software verification tool using superposition-based theorem proving to establish functional correctness of array and hyperproperties.
mina1604/saturation-visualization
A visualization tool, which enables an efficient and interactive analysis of Vampire proof attempts.
mina1604/server-vampire
A simple Python-server which wraps around Vampire.
mina1604/sorting_wo_sorts
This repository contains all benchmarks used in the paper "Sorting without Sorts". To run benchmarks, please use
mina1604/telegrambot
mina1604/tools
A set of basic tools for manipulating SyGuS benchmarks
mina1604/vampire
The Vampire Theorem Prover
mina1604/z3
The Z3 Theorem Prover