Package Details: python-simplesat 0.9.2-1

Git Clone URL: https://aur.archlinux.org/python-simplesat.git (read-only, click to copy)
Package Base: python-simplesat
Description: SAT solver for use in Enstaller, based on the MiniSat implementation
Upstream URL: https://github.com/enthought/sat-solver
Licenses: BSD-3-Clause
Submitter: arojas
Maintainer: ppalazon
Last Packager: ppalazon
Votes: 0
Popularity: 0.000000
First Submitted: 2025-03-31 19:40 (UTC)
Last Updated: 2026-04-09 06:59 (UTC)