Name		Name	Last commit message	Last commit date
include		include
results		results
src		src
test		test
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
invErrors.txt		invErrors.txt
invErrorsBoth.txt		invErrorsBoth.txt
matrices.py		matrices.py

Repository files navigation

rinocchio

Implementation of Rinocchio in C++. The implementation uses NTL, version 11.4.3: https://www.shoup.net/ntl/

About

Implementation of the proof system Rinocchio in C++

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages