R

resolvents

Logical resolvents finder.