gavel
gavel.dialects.base
gavel.dialects.base.compiler
gavel.dialects.base.dialect
gavel.dialects.base.parser
gavel.logic
gavel.logic.logic
gavel.logic.problem
gavel.logic.proof
gavel.prover.base.interface
gavel.prover.eprover.interface
gavel.prover.hets.interface
gavel.selection.selector