זוהי הפקודה sat4j שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
sat4j - ספרייה יעילה של פותרי SAT ב-Java
תַקצִיר
sat4j קובץ קלט
תיאור
דף מדריך זה מתעד בקצרה את sat4j פקודה.
sat4j היא ספרייה יעילה לפותרי SAT שנכתבו ב-Java.
ניתן למצוא קבוצה ראשונית של תיעוד בכתובת http://www.sat4j.org/doc.php (ב
במיוחד מומלץ "מדריך לתחילת העבודה"). תיעוד זה אינו נשלח
בחבילה מכיוון שהיא אינה נטולת DFSG.
השתמש ב-sat4j באינטרנט באמצעות שירותי onworks.net
