cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
40cca5914f
openbsd-ports/math/minisat/distinfo

11 lines
605 B
Plaintext
Raw Normal View History

import minisat 1.14 MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Some key features of MiniSat: * Easy to modify. MiniSat is small and well-documented, and possibly also well-designed, making it an ideal starting point for adapting SAT based techniques to domain specific problems. * Highly efficient. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT. * Designed for integration. MiniSat supports incremental SAT and has mechanisms for adding non-clausal constraints. By virtue of being easy to modify, it is a good choice for integrating as a backend to another tool, such as a model checker or a more generic constraint solver.
2009-09-17 17:12:04 -04:00
MD5 (MiniSat.ps.gz) = h8h2aKzzvzU4Vrzw792zIA==
MD5 (MiniSat_v1.14.2006-Aug-29.src.zip) = aXh7KUKo0rKrTu/iLT3SYg==
RMD160 (MiniSat.ps.gz) = DvBrRGvaFtTTRBTKdZFfYj4jqbM=
RMD160 (MiniSat_v1.14.2006-Aug-29.src.zip) = aYeuWxRp6YvDlHmvQxq+yetO518=
SHA1 (MiniSat.ps.gz) = xNWe75xaOpO9nePnHumSdipjdhc=
SHA1 (MiniSat_v1.14.2006-Aug-29.src.zip) = ss3eLRqNdFH0uJ/v3qrHfTCN2ec=
SHA256 (MiniSat.ps.gz) = FVUdwKddyJRGpQCF7yjfK2VJ/bs+SMHvUzFqu6ZTUPI=
SHA256 (MiniSat_v1.14.2006-Aug-29.src.zip) = USBGSObjXX9Tw7uHU+HkFx5iaP6U46g8qmp7FsDUwUw=
SIZE (MiniSat.ps.gz) = 112951
SIZE (MiniSat_v1.14.2006-Aug-29.src.zip) = 29445
Reference in New Issue Copy Permalink