Toss-开源

【文件属性】：

文件名称：Toss-开源

文件大小：13.14MB

文件格式：ZIP

更新时间：2024-06-01 11:53:44

开源软件

Toss是一个程序，可以探索各种模型中逻辑和术语的使用。 在静态方面，您可以绘制图形并检查其属性，公理和归约。 然后，在动态方面，您可以对具有离散和连续动态的多玩家游戏进行建模。 您可以玩游戏，自动生成策略并根据各种逻辑公式分析可能的行为。