Your company here, and a link to your site. Click to find out more.

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

General Commands