ByNobleID
    Efficient solution of systems of Boolean equations | NobleID