dolmen_loop

A tool library for automated deduction tools