Alternatives to LogicManager — 0-Doubt