Irreducible givens hidden for TcPlugin

Motivation

Irreducible constraints could be often solved by TcPlugin, but irreducible givens are not accessible there.

Expose irreducible givens to TcPluginSolver.

Edited Apr 26, 2022 by Pavol Vargovčík

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information