Refinement MicroEgg
GitHub
Demo:
Set inclusion
Circuit don't-care
Set algebra
AC with inclusion
Relational division
Run