{"ref":"master","ref_type":"branch","master_branch":"master","description":"Library for automata-based monitoring of first-order LTL formulas with finite domain. The semantics of first-order LTL is on finite execution paths.","pusher_type":"user"}