OSDN -- 오픈 소스 소프트웨어 개발 및 다운로드
Translation Status of 한국말 translation status for ko

RSS
Download List

프로젝트 설명

ACL2 is a mathematical logic, programming
language, and mechanical theorem prover based on
the applicative subset of Common Lisp. It is an
"industrial-strength" version of the NQTHM or
Boyer/Moore theorem prover, and has been used for
the formal verification of commercial
microprocessors, the Java Virtual Machine,
interesting algorithms, and so forth.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2007-06-05 23:51 Back to release list
3.2.1

건전성 버그와 다른 사소한 버그가 수정되었습니다. 도서를 포함만큼 50 % 빨라졌되었습니다. 개정 작업을 동적으로 모니터링할 수있습니다. 축적된 지속성 메타 규칙을 지원하고 쓸모없는 규칙을 식별, 많은 다른 사소한 업데이 트되었습니다.
Tags: Minor feature enhancements
A soundness bug and some other minor bugs have been fixed. Including books has been sped up by as much as 50%. Rewriting can be dynamically monitored. Accumulated persistence supports meta-rules and identifies useless rules, and many other minor updates have been made.

Project Resources

Project Page 다운로드: changelog 다운로드: Debian Package (deb) 다운로드: Demo Home Page 다운로드: List 다운로드: TGZ