Metadata-Version: 2.4
Name: kissat-sovereign
Version: 1.0.5
Summary: Singapore Zenith - O(n) SAT Solver
Author: Americo Simoes
License-File: LICENSE
Dynamic: license-file
