این دستور sat4j است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
sat4j - کتابخانه کارآمد حل کننده های SAT در جاوا
خلاصه
sat4j فایل ورودی
شرح
این صفحه راهنما به اختصار مستندات sat4j فرمان
sat4j یک کتابخانه کارآمد برای حل کننده های SAT است که به زبان جاوا نوشته شده است.
مجموعه اولیه اسناد را می توان در این آدرس یافت http://www.sat4j.org/doc.php (در
به ویژه "راهنمای شروع" توصیه می شود). این اسناد ارسال نمی شود
در بسته بندی است زیرا بدون DFSG نیست.
از sat4j آنلاین با استفاده از خدمات onworks.net استفاده کنید
