นี่คือชุดคำสั่งที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
clasp - ตัวแก้ปัญหาชุดคำตอบการเรียนรู้ nogood ที่ขับเคลื่อนด้วยความขัดแย้ง
เรื่องย่อ
เข็มกลัด [จำนวน][ตัวเลือก]
DESCRIPTION
หน้าคู่มือนี้จัดทำเอกสารโดยสังเขปเกี่ยวกับ เข็มกลัด คำสั่ง
เข็มกลัด เป็นชุดคำตอบสำหรับโปรแกรมลอจิกปกติ (แบบขยาย) มันรวมสูง-
ความสามารถในการสร้างแบบจำลองระดับของการเขียนโปรแกรมชุดคำตอบ (ASP) ด้วยเทคนิคล้ำสมัย
จากพื้นที่ของการแก้ปัญหาข้อจำกัดบูลีน อัลกอริธึมการจับมือหลักขึ้นอยู่กับ
การเรียนรู้ nogood ที่ขับเคลื่อนด้วยความขัดแย้ง เทคนิคที่พิสูจน์แล้วว่าประสบความสำเร็จอย่างมากสำหรับ
การตรวจสอบความพอใจ (SAT) ต่างจากตัวแก้ปัญหา ASP การเรียนรู้อื่น ๆ การจับมือไม่พึ่งพา
ซอฟต์แวร์รุ่นเก่า เช่น ตัวแก้ไข SAT หรือตัวแก้ไข ASP อื่นๆ ที่มีอยู่ ค่อนข้างมีเข็มกลัด
ได้รับการพัฒนาอย่างแท้จริงสำหรับการแก้ปัญหาชุดคำตอบโดยอาศัยการเรียนรู้ที่ไม่ดีที่ขับเคลื่อนด้วยความขัดแย้ง
เข็มกลัดสามารถใช้เป็นตัวแก้ไข ASP (บนรูปแบบเอาต์พุต LPARSE) เป็นตัวแก้ไข SAT (on
รูปแบบ DIMACS/CNF แบบง่าย) หรือเป็นโปรแกรมแก้ปัญหา PB (ในรูปแบบ OPB)
OPTIONS
โปรแกรมเหล่านี้ใช้ไวยากรณ์บรรทัดคำสั่งของ GNU ตามปกติ โดยมีตัวเลือกแบบยาวขึ้นต้นด้วย
สองขีดกลาง (`-') สรุปตัวเลือกอยู่ด้านล่าง สำหรับคำอธิบายที่สมบูรณ์
ดูhttp://www.cs.uni-potsdam.de/clasp/>.
-ชม, --ช่วยด้วย
แสดงสรุปตัวเลือก
-ใน, --รุ่น
แสดงเวอร์ชันของโปรแกรม
ใช้การจับมือออนไลน์โดยใช้บริการ onworks.net