breakid - Fedora Packages

BreakID is a symmetry detecting and breaking library for SAT solvers. It is based on Jo Devriendt's BreakID code. It has been re-licensed by the original author to be MIT. All modifications by Mate Soos.

Releases Overview

Release	Stable	Testing
Fedora Rawhide	3.1.2-6.fc42	-
Fedora 42	3.1.2-6.fc42	-
Fedora 41	3.1.2-4.fc41	-
Fedora 40	3.1.2-2.fc40	3.1.2-2.fc40

File a new bug report »

Package Info

Upstream: https://github.com/meelgroup/breakid
License(s): MIT
Maintainer: jjames

Related Packages

breakid-devel

You can contact the maintainers of this package via email at breakid dash maintainers at fedoraproject dot org.