Skip to content

Irreducible givens hidden for TcPlugin

Motivation

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

Proposal

Expose irreducible givens to TcPluginSolver.

typechecker plugins

Edited by Pavol Vargovčík
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information