Pygplib (Python First-Order Graph Property Library) is a Python module for constructing, manipulating, and encoding graph properties expressible with first-order logic of graphs. It serves as a ...

This package implements python bindings for the ORbit Counting Algorithm. The original source code was modified to avoid memory leaks upon repeated function calls and allow for parallel orbit counting ...

Abstract: The complex dynamics of the baker's map and its variants in infinite-precision mathematical domains and quantum settings have been extensively studied over the past five decades. However, ...

Abstract: Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking.