Package breakid

Symmetry detecting and breaking library

https://github.com/meelgroup/breakid

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.

Version: 3.1.2

General Commands

breakid manual page for breakid 3.1.2