Your company here — click to reach over 10,000 unique daily visitors

Package breakid

Symmetry detecting and breaking library


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 Symmetry detection and breaking