Two-state invariants are guarded in SMT-LIB 2 certificates
Two-state invariants are guarded in SMT-LIB 2 certificates

tinelli/kind2,tinelli/kind2,kind2-mc/kind2,tinelli/kind2,tinelli/kind2,daniel-larraz/kind2,tinelli/kind2,tinelli/kind2