Це застібка команди, яку можна запустити в постачальнику безкоштовного хостингу OnWorks, використовуючи одну з наших численних безкоштовних онлайн-робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
застібка - керований конфліктом розв'язувач набору відповідей, який не ведеться за нульовим навчанням
СИНТАКСИС
застібка [число][параметри]
ОПИС
На цій сторінці посібника коротко описано застібка команда
застібка є вирішувачем набору відповідей для (розширених) програм нормальної логіки. Він поєднує високо-
рівень моделювання можливостей програмування наборів відповідей (ASP) за допомогою найсучасніших методів
з області розв’язування булевих обмежень. Основний алгоритм застібки спирається на
Конфліктно-керовану невдале навчання, техніка, яка виявилася дуже успішною для
перевірка відповідності (SAT). На відміну від інших програм для розв’язування ASP, застібка не покладається на неї
застаріле програмне забезпечення, таке як SAT Solver або будь-який інший існуючий вирішувач ASP. Швидше, застібка має
був справді розроблений для розв’язання набору відповідей на основі ґрунтовного навчання, керованого конфліктом.
clasp можна застосувати як вирішувач ASP (у вихідному форматі LPARSE), як SAT-вирішувач (укл
спрощеному форматі DIMACS/CNF) або як розв’язувач PB (у форматі OPB).
ВАРІАНТИ
Ці програми дотримуються звичайного синтаксису командного рядка GNU з довгими параметрами, які починаються з
два тире (`-'). Нижче наведено короткий опис варіантів. Для повного опису,
побачитиhttp://www.cs.uni-potsdam.de/clasp/>.
-h, --допомога
Показати підсумок варіантів.
-v, -- версія
Показати версію програми.
Використовуйте застібку онлайн за допомогою служб onworks.net
