A minimalistic and high-performance SAT solver
提供元による説明（英語）
minisatとは
minisat（提供元：PolarGoose / niklasso）は、オープンソースのWindowsソフトです。開発言語はC++です。
インストールと動作環境
提供元は64ビット版のポータブルインストーラーを配布しています。インストールせずにそのまま実行できます（ポータブル版）。
人気と対応ファイル形式
GitHubで公開されているソースコード（niklasso/minisat）のスター数は1,193です。
GitHubのプロジェクト説明: “A minimalistic and high-performance SAT solver”
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- ポータブル版でインストール不要
デメリット
- ネイティブのARM64版がない
- 1年以上更新されていない
まとめ: minisatは、オープンソースのWindowsソフトです。64ビットのPCで使えます。更新のペースは落ちています。
minisatのダウンロードは安全ですか？
- ファイルは提供元のドメイン（github.com）から配信されています
- ダウンロードリンクはHTTPSを使用しています
- SHA256ハッシュが公開されているため、ファイルを検証できます:
17467B8E38D71B22C95E1D757C8C495AEB3AF43405A8C2FBF2F790BA57C60745· このハッシュのVirusTotalレポートを開く - リンクはまだ確認されていません
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
セキュリティ対策（OpenSSF Scorecard）
Open Source Security FoundationがGitHub上のniklasso/minisatリポジトリを自動でチェックした結果です（最終実行：2026年10月19日）。
- リポジトリにバイナリなし10
- ライセンスの明記9
- 継続的なメンテナンス0
- コードレビュー0
- 静的コード解析0
- OpenSSF Best Practicesバッジ0
- セキュリティポリシー0
- ファジング0
- ブランチ保護0
このスコアはプロジェクトの開発・リリースの進め方を評価するもので、プログラムを安全にインストールできるかどうかを示すものではありません。 scorecard.dev
最近のバージョン
全1バージョン ›コマンドラインでインストール
サイレントインストール ›winget install --id PolarGoose.minisat -e関連ガイド: wingetの使い方：アプリのインストールと更新
ほかのOS向け
brew install minisat情報
- 提供元
- PolarGoose / niklasso
- ライセンス
- MIT
- 価格
- 無料
- ソースコード
- github.com/niklasso/minisat
- 開発言語
- C++
- 動作環境
- Windows 11 / 10
- アーキテクチャ
- 64ビット
- インストーラー
- ポータブル
- バージョン
- 2.2
- リリース日
- 2025年7月13日
- カタログ追加日
- 2025年7月13日
- 掲載バージョン数
- 1
- GitHubスター
- 1,193
- GitHubフォーク
- 422
- winget ID
- PolarGoose.minisat
評価とレビュー
まだレビューはありません。最初の評価を投稿してください。
よくある質問
minisatは無料ですか？
はい。minisatはオープンソースのソフトです（MITライセンス）。
minisatのダウンロードは安全ですか？
ファイルはgithub.comから配信されます。github.comは提供元のドメインです。ExeAtlasはファイルをホストしておらず、改変もしていません。ダウンロードしたファイルのSHA256をこのページに記載の値と照合するか、そのハッシュのVirusTotalレポートを確認してください。
minisatをwingetでインストールするには？
PowerShellかWindowsターミナルを開き、このページに記載のwingetコマンドを実行します。wingetは公式インストーラーをダウンロードし、実行前にSHA256ハッシュを検証します。
minisatはARM版Windows（Windows on Arm）で動きますか？
ARM64版はありません。Windows 11 on Armでは、エミュレーションによって64ビット版を実行できます。
minisatは管理者権限なしで使えますか？
はい。ポータブル版なので、展開してそのまま実行できます。