Skip to Content

minisat-master-keying v2.3.6

Created
Updated

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

# License

Unknown

# Supported Platforms

All platforms are supported

# Features

No features defined.

# Dependencies

No dependencies.

# Host Dependencies

No transitive dependencies.

# Dependents

No dependents.

# Host Dependents

No dependents.

# Contributors

  • Martin Hořeňovský's avatar Martin Hořeňovský
  • Victor Romero's avatar Victor Romero
  • Phil Christensen's avatar Phil Christensen
  • Billy O'Neal's avatar Billy O'Neal
  • chausner's avatar chausner

# Changelog

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

# Source