Multi-agent prototype of a market modeled in Soda that uses formal verification.
Primary LanguageScala