Target Directory Reference

Directory dependency graph for Target:

Files
	PCL.h
	Declares the C interface for Picus PCL conversion, transformation, and translation.
	R1CS.h
	Declares the registration and creation methods for R1CS transformation passes.
	SMT.h
	Declares the registration and creation methods for SMT conversion passes.
	ZKLean.h
	Declares the registration and creation methods for ZKLean conversion passes.