Similar repositories to makaimann/btor2tools: