[ ソース: cadical ]
パッケージ: libcadical-dev (2.1.3-3) [universe]
このサイトについて
published in section universe
Ubuntu の資源:
Source Package cadical:
メンテナ:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (メールアーカイブ)
- Scott Talbert
It should generally not be necessary for users to contact the original maintainer.
外部の資源:
- ホームページ [fmv.jku.at]
類似のパッケージ:
Simplified Satisfiability Solver (development files)