Loading README.txt +4 −0 Original line number Diff line number Diff line Loading @@ -7,6 +7,10 @@ Unzip contents and add the folder on your matlab path via menu options: File -> Set Path. Install CVC3 SMT solver and PVS theorem prover to have access to all functions. MS Windows 10 users can run the Linux version of PVS under WSL. See included help files for detailed documentation or go to http://www.cas.mcmaster.ca/~lawford/TET Loading Loading
README.txt +4 −0 Original line number Diff line number Diff line Loading @@ -7,6 +7,10 @@ Unzip contents and add the folder on your matlab path via menu options: File -> Set Path. Install CVC3 SMT solver and PVS theorem prover to have access to all functions. MS Windows 10 users can run the Linux version of PVS under WSL. See included help files for detailed documentation or go to http://www.cas.mcmaster.ca/~lawford/TET Loading
