Swiftpack.co - Swift Packages by schaefer-dev

Swiftpack.co is a collection of thousands of indexed Swift packages. Search packages.

Packages published by schaefer-dev

schaefer-dev/k-bosy kripkeStructures
Extension to BoSy Synthesis tool to handle epistemic specifications using knowledge semantics. KBoSy transform the KLTL synthesis problem into an LTL synthesis problem that can be solved by BoSy.
⭐️ 0
🕓 3 years ago
🔖 Release Notes

Releases

The markdown parsing is broken/disabled for release notes. Sorry about that, I'm chasing the source of a crash that's been bringing this website down for the last couple of days.
Implemented --reduce functionality
3 years ago
Ability to simplify LTL assumptions using the --reduce parameter. This will significantly reduce the size of assumptions generated by KBoSy. Useful to synthesize very complex scenarios
Benchmark Support Linux + macOS
3 years ago
macOS + Linux Support
3 years ago
EAHyper candidate search working
3 years ago

Swiftpack is being maintained by Petr Pavlik | @ptrpavlik | @swiftpackco | API | Analytics