constraining Directory Reference

Directories
	benchmark
	recursion
	relations
	testing

Files
	check_circuit.cpp
	check_circuit.hpp
	entities.hpp
	flavor.cpp
	flavor.hpp
	flavor_settings.hpp
	full_row.cpp
	full_row.hpp
	nullifier_exists.test.cpp
	polynomials.cpp
	polynomials.hpp
	prover.cpp
	prover.hpp
	verifier.cpp
	verifier.hpp
	verifier.test.cpp