psuter/seqset
Public repository.
Public GitHub Catalog
Discovered Sep 26, 2026
psuter / bapa-z3
Solving Boolean Algebra with Presburger Arithmetic (BAPA) Constraints in Z3
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#6229426GitHub System ID
psuterOrganization / User
PublicVisibility
ActiveCatalog Status
More from psuter
psuter/lila
Free chess server scala/play2/clojurescript/mongodb/elasticsearch
psuter/swisssystem
Scala implementation of Swiss tournament pairing systems
psuter/scalachess
Chess API written in scala. Immutable and free of side effects.