Spot is very specific, it's a C++17 library for verification software (mostly involved with infinite automata and their property, the HOMEPAGE would be much better at providing examples than me)
It's developed in the lab next to my work place, and I was curious into porting it. Turned out to be fairly clean software, the only hiccup was due to third party flex. I'd like test results on non amd64, possibly ports-gcc based stuff. (some tests with jupyter fail, but I strongly suspect it's an ordering issue with dot generation, and that the tests should pass)
spot.tgz
Description: spot.tgz
