ืืืื ืืคืืืงืฆืืืช ืืื ืืงืก ืืฉื STP ืฉื ืืชื ืืืืจืื ืืช ืืืืืืจื ืืืืจืื ื ืฉืื ืืชืืจ simplifyingSTP_1022.tar.gz. ื ืืชื ืืืคืขืื ืืืชื ืืืืคื ืืงืืื ืืกืคืง ืืืืจืื ืืืื ืื OnWorks ืขืืืจ ืชืื ืืช ืขืืืื.
ืืืจื ืืืคืขื ืืืื ืืจื ื ืืช ืืืคืืืงืฆืื ืืื ืืฉื STP ืขื OnWorks ืืืื ื.
ืืฆืข ืืช ืืืืจืืืช ืืืืืช ืืื ืืืคืขืื ืืช ืืืคืืืงืฆืื ืืื:
- 1. ืืืจื ืืช ืืืืฉืื ืืื ืืืืฉื ืฉืื.
- 2. ืืื ืืื ืื ืืงืืฆืื ืฉืื ื https://www.onworks.net/myfiles.php?username=XXXXX ืขื ืฉื ืืืฉืชืืฉ ืฉืืชื ืจืืฆื.
- 3. ืืขืื ืืช ืืืืฉืื ืืื ืืื ืื ืงืืฆืื ืืื.
- 4. ืืคืขื ืืช ืืืืืืืืจ ืืืงืืื ืฉื OnWorks Linux ืื Windows ืืงืืื ืื ืืืืืืืจ ืืงืืื ืฉื MACOS ืืืชืจ ืื.
- 5. ืืืขืจืืช ืืืคืขืื OnWorks Linux ืฉืื ืขืชื ืืชืืืช, ืขืืืจ ืื ืื ืื ืืงืืฆืื ืฉืื ื https://www.onworks.net/myfiles.php?username=XXXXX ืขื ืฉื ืืืฉืชืืฉ ืืจืฆืื.
- 6. ืืืจื ืืช ืืืคืืืงืฆืื, ืืชืงื ืืืชื ืืืคืขื ืืืชื.
STP
Ad
ืชืืืืจ
ืงืื STP ืขืืจ ื-GITHUB. ืืงืื ืืื ืืืืฉื. ืื ื ืืืืง ืืช ืืืชืจ ืืื:
http://stp.github.io/
ืงืื
ืืื ืืืืืืืช ืืืืข, ืืืข/ืืืงืจ, ืืฉืชืืฉื ืงืฆื ืืชืงืืืื, ืืคืชืืื, ืืฉืชืืฉื ืงืฆื/ืืืฉืืื, ืืื ืืกื ืืืืืช
ืืืฉืง ืืฉืชืืฉ
ืงืื ืกืืื/ืืจืืื ื
ืฉืคืช ืชืื ืืช
Python, C++, C, OCaml (Objective Caml), Java
ืืืื ืืคืืืงืฆืื ืฉื ืืชื ืืืืื ืื ื-https://sourceforge.net/projects/stp-fast-prover/. ืื ืืชืืจื ื-OnWorks ืขื ืื ืช ืืืคืขืื ืืืชื ืืืื ืืจื ื ืืฆืืจื ืืงืื ืืืืชืจ ืืืืช ืืืขืจืืืช ืืืคืขืื ืืืื ืืืืช ืฉืื ื.