Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

monosat

monosat 1.8.0 · pkgs/by-name/mo/monosat/package.nix
Sign in to subscribe
Health
Risk
risk 1 low
  • +1 no versionCheckHook
Version
1.8.0 no newer release in its git tags
Channels
master 1.8.0 · nixos-unstable 1.8.0 · nixos-26.05 1.8.0 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
SMT solver for Monotonic Theories
Homepage
https://github.com/sambayless/monosat
License
GPL-2.0
Platforms
45 platforms: Linux, Darwin
Main program
monosat
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/mo/monosat/package.nix:44
Maintainers
acairncross
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Closed or merged in the synced window 1
treewide: mark as broken on darwin (last successful Hydra build 2025)
#566570 by iedame · merged 12d ago
Issues 0
None open.