Packages from aiger-team