זוהי הפקודה acl2 שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
acl2 - לוגיקה חישובית
תַקצִיר
acl2
תיאור
דף מדריך זה מתעד בקצרה את acl2 פקודה. דף מדריך זה נכתב עבור
הפצת Debian GNU/Linux מכיוון שלתוכנית המקורית אין דף ידני.
במקום זאת, יש לו תיעוד בפורמט GNU Info כמו גם בפורמט html. אלו הם
כלול בחבילת acl2-doc. את התיעוד ניתן למצוא גם אצל הפרויקט
אתר אינטרנט, http://www.cs.utexas.edu/users/moore/acl2, הן בצורת html והן בפוסטסקריפ.
השתמש ב-acl2 באינטרנט באמצעות שירותי onworks.net
