Ito ang command sat4j na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
sat4j - mahusay na library ng mga solver ng SAT sa Java
SINOPSIS
sat4j input-file
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling sat4j utos.
sat4j ay isang mahusay na aklatan para sa mga solver ng SAT na nakasulat sa Java.
Ang isang paunang hanay ng dokumentasyon ay matatagpuan sa http://www.sat4j.org/doc.php (Sa
partikular ang "gabay sa pagsisimula" ay inirerekomenda). Ang dokumentasyong ito ay hindi naipadala
sa package dahil hindi ito DFSG-free.
Gumamit ng sat4j online gamit ang mga serbisyo ng onworks.net