Skip to the content.
Release Notes
Multi-agent prototype of a market modeled in Soda that uses formal verification.
View on GitHub
Release Notes
version: v0.1.0
date: unreleased
new_features:
first operational example
build: $
sbt clean compile test package assembly
release: target/scala-3.5.2/market-0.1.0.jar