bosphorus 3.1.0-2

Architecture: x86_64
Repository: Extra
Description: ANF simplifier and solver, and ANF-to-CNF converter
Upstream URL:
License(s): MIT
Maintainers: Antonio Rojas
Package Size: 146.0 KB
Installed Size: 415.2 KB
Last Packager: Antonio Rojas
Build Date: 2023-09-22 07:32 UTC
Signed By: Antonio Rojas
Signature Date: 2023-09-22 07:33 UTC
Last Updated: 2023-09-22 07:36 UTC

Dependencies (8)

Required By (1)