Skip to content

minisat-master-keyingv2.3.6

Updated

A minimalistic high-performance SAT solver
This is a modernized, cross-platform, CMake-enabled fork of the original MiniSat.

#License

Could not be determined

#Supported Platforms

All platforms supported.

#Features

No features defined.

#Dependencies

No dependencies.

#Host Dependencies

No transitive dependencies.

#Used By

No ports use this.

#Host Tool For

No ports use this.

#Contributors

  • Martin Hořeňovský's avatarMartin Hořeňovský
  • Victor Romero's avatarVictor Romero
  • Phil Christensen's avatarPhil Christensen
  • Billy O'Neal's avatarBilly O'Neal
  • chausner's avatarchausner

#Changelog

  • d6116fe
    d6116fe[minisat] Fix missing headers (#31977)
  • 25b1d99
    25b1d99[minisat-master-keying] Update to 2.3.6 (#20437)
  • b295670
    b295670Bulk convert control files. (#19986)
  • 09a647a
    09a647aDelete use of vcpkg_test_cmake and vcpkg_common_functions. (#13065)
  • d962dc7
    d962dc7[vcpkg] Add optional 'Homepage' field to CONTROL (#6844)
  • 050e71d
    050e71dRemove references to CMAKE_WINDOWS_EXPORT_ALL_SYMBOLS (#5937)
  • fb7b836
    fb7b836Add a modernized cross-platform fork of MiniSat 2.2 (#3692)

#Port Files