{"name":"spot","portdir":"science/spot","version":"2.14.5","license":"GPL-3","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://spot.lrde.epita.fr/index.html","description":"Spot is an object-oriented model checking library written in C++.","long_description":"Spot is an object-oriented model checking library written in C++.","active":true,"categories":["science","math"],"maintainers":[],"variants":["python310","python311","python312","python313","python314","universal"],"dependencies":[{"type":"build","ports":["clang-20"]},{"type":"lib","ports":["python311"]}],"depends_on":[]}