珂赛特 注意:我们正在忙于开发Cosette 2.0,将不考虑Cosette 1.0上的任何功能要求。 Cosette是一种语言,并且是推理SQL对等项的自动求解器。 阅读 请参阅以了解如何使用珂赛特 尝试Cosette 查看cosette以获取有关Cosette的研究论文 该项目正在积极开发中。 向我们发送消息( ),或者如果发现不起作用,则创建问题!