Solver Foundation是否支持Linux下的量词和Ocaml API？ [英] Does Solver Foundation support quantifiers and Ocaml API under Linux?

问题描述

您好，

我在Linux下编码Ocaml ...我需要在我的代码中找到布尔公式的最佳解决方案，有人建议我看看微软求解器基础。

I am coding Ocaml under Linux... I need to find optimal solution for boolean formulae in my code, someone suggest me to take a look at Microsoft Solver Foundation.

我的布尔公式包含AND，OR，>，<，\ forall和整数变量和常量等运算符。我想知道MSF是否支持量词"\ forall"。

My boolean formulae contain such operators as AND, OR, >, <, \forall, and integer variables and constants. I am wondering if MSF supports the quantifier "\forall".

此外，一个主要问题是MSF是否提供Ocaml API，否则我该如何解决这个问题？

Also, one major concern is whether MSF offers Ocaml API, otherwise how could I workaround that?

非常感谢！

推荐答案

不幸的是，MSF不能在Linux环境中运行，因为Mono目前不支持所有所需的功能。

Unfortunately MSF does not run on Linux environments because Mono does not currently support all the features required.

Nate

这篇关于Solver Foundation是否支持Linux下的量词和Ocaml API？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！