1.2.0
  1. nitwit-validator
Name
moves-rwth's repositories
.vscode
bench
picoc
scripts
testfiles
tests
utils
witness
.dockerignore
.editorconfig
.gitignore
.gitlab-ci.yml
.graphml
CMakeLists.txt
Dockerfile
LICENSE
README.md
build.sh
main.cpp
nitwit.sh
run-tests.sh