ソフトウェアの提出
  1. ホーム
  2. Linux
  3. 他
  4. S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 06

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票
ダウンロード

ローマの大学"La Sapienza"でのコースで、私はユニットの伝播とバックトラッキングに基づいて完全に動作するSATソルバーを開発しました。これは、任意の長さの DIMACS ファイルを読み取り、cnf 式を処理できます (リテラルの数に制限はありません)。

バージョン履歴

  • バージョン s-sat06.beta1 に転記 2009-02-14
    いくつかの修正と更新
  • バージョン s-sat06.beta1 に転記 2009-02-14

プログラムの詳細

  • カテゴリ: 教育 > 他
  • パブリッシャー: s-sat.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 06
  • プラットフォーム: linux

関連プログラム

  • KJV Bible (fortune format) 無料

    Unixの幸運ファイル形式でKJV聖書。 各*fortune*は単一の詩です。 Unixシェルユーザーとcronで1日の"引用符を生成したい人にとっては非常に素晴らしいです。

  • Algebra Cheat Sheet 無料

    代数チートシートは、代数の式のクイックリファレンスを提供します。トピックには次のものがあります。1. 基本的な性質と事実(ラジカル、指数、対数などの特性を含む)2. ファクタリングと解法方程式3. 線形方程式の解法、二次方程式、二乗根を持つ方程式の解法、絶対値を持つ方程式の解法放物線、日食、双曲線、円などの機能とグラフ、5. 一般的な代数的誤差。代数式のクイック リファレンスとして、このチート シートを参照できます。

  • Word Trainer 無料

    あなたのAndroidデバイスで語彙を練習するための最も簡単な方法!あなたの母国語が欠落していますか?もっと面白い言葉を追加したいですか?データベースに貢献して自由に感じれば、あなたの言語を実践している他の人を助けます。すべての言語は大歓迎です!http://goo.gl/4hd3Gワードトレーナーでプレイするには、次の3つの方法があります。- 挑戦:60秒以内にできるだけ多くの単語を推測してみてください。あなたの最高のスコアを

  • VOX Compact Spanish + Thesauru 無料トライアル

    この値のソフトウェアパックは、Voxスペイン語の上級辞書と優れたVoxスペイン語シソーラスで構成されています。Voxスペイン語上級辞典は意味、例、イディオムや表現を提供し、高校や大学生に最適です。シソーラスはスペイン語の知識を向上させ、話し、書くときに最大限の精度で自分自身を表現するために不可欠です。* 辞書でヨーロッパとアメリカのスペイン語で34 000エントリと70 000の定義* シソーラスの128 000同義語と反意語*

  • Zelda all series Cheats 無料

    **すでにGoogle Play開発者プログラムポリシー**ハンディチートに準拠するように広告フォーマットを更新する:ゼルダのすべてのシリーズの特徴は次のとおりです:-ゼルダの伝説のための詐欺とコードのコレクションは、以下のようにすべての古典的なシリーズ***:スカイワードソード***NEW***ゼルダの伝説:古典的なNESゼルダII:リンクの伝説の冒険: ゼルダの伝説:時間のオカリナゼルダの伝説ゼルダの伝説:ゼルダの伝説:ゼルダの伝説のオラクル

  • Sai Satcharitra English 無料トライアル

    今もヒンディー語で利用可能 - https://market.android.com/details?id=com.mgw.SaiSatCharitraHindiオム・シュリー・サナタヤ・ナマ!!!シルディ・シ・ババのサチャリタラ(英語) - アーティとエピローグを含む52章。サチャリタ・サプタ・パーラヤンは、任意の木曜日に開始することができ、その後7日で完了する必要があります。私が要求した権限は、私が最終的に追加しなか

  • Pro Cheats Pokemon White 2 Edn 無料

    このアプリはコードが含まれています, 攻略, ポケデックス, 伝説のポケモンガイド, フォームの変更, トップ 10 統計によるポケモン, ヒントとポケモンホワイト2!*このアプリは非公式です, 説明の下部に免責事項を読んでください* ポケモンホワイトでいくつかの助けが必要です 2?このアプリには、完全なチートコードとチップリストが含まれています。あなたは友人の家に簡単にあなたのガイドを運び、右のあなたの携帯電話からあなたの友人の特定のセクション

  • Conquest Flex Viewer 無料

    ConquestWebView は、http://www.xs4all.nl/~ingenium/dicom.htmlから入手できるコンクエスト・ディコン・サーバー・アプリケーション用の Web ベースのダイコン・ビューアーです。プロジェクトは PHP と Flex で記述されています。表示前に DICOM イメージが JPG に変換されることに注意してください。

  • Atmel AT90USB 802.11g Wireless Project 無料

    このプロジェクトは、棚のハードウェアとオープンソース技術を使用して、802.11g無線通信に安価なソリューションを提供します。これは、Atmel AT90USBマイクロとZyDas ZD1211Bワイヤレスチップセットを使用しています。Wibotics.comのデビッド・ガースケによって開発された

  • LDS Hymns with Notes 無料トライアル

    これは、末日聖徒イエス・キリスト教会の音楽をフィーチャーした非公式アプリです!英語、スペイン語、フランス語、ポルトガル語でLDS賛美歌を特集!このアプリは、LDS賛美歌を表示することができます - テキストと楽譜の両方として。賛美歌を番号、タイトル、歌詞、トピック、作者、作曲家などで検索します。ボタンを押す時に言語を切り替えたり、見やすくピンチズームしたり、LDS.orgから賛美歌の音楽をストリーミングしたりできます。ページ間を簡単