サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
tsoh.org
This page details Scarab, a prototyping tool for developing SAT-based systems. Features of Scarab are follows: Expressiveness Rich constraint modeling language. Efficiency Optimized order encoding and native handling of BC/PB on Sat4j. Customizability Its core part is written in around 1000 lines of Scala. Portability Run on JVM. Download the latest jar (According to your Scala version select appr
このページを最初にブックマークしてみませんか?
『tsoh.org』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く