I

itauto

Itauto: an Extensible Intuitionistic SAT Solver