Packages by René Lehmann

CPCAT — 1.0.0

The Closure Principle Computational Approach Test