Discussions under General

Please use this section to ask questions about FORMULA. The ISSUES tab can be used to report bugs.

Using interpreted functions

first post: rysavy_ondrej wrote: How can I use interpreted functions in Formula specifications? Many...

An FORMULA example

first post: nqamar wrote: Is this a valid FORMULA code, given in the manual p.8? transform ...

Solve option and LTL

first post: beperev wrote: Hello everybody, Does anybody know whether Formula 2.0 already su...

How can i recover the facts?

first post: rafaelrf wrote: In this new version of the formula,how can i recover the facts of a...

Not able to install Formula

first post: beperev wrote: I am following the steps stated in the Readme file but I am not abl...

latest post: wswpakorn wrote: Hi Bea, Many thanks for your reply. I did it automatically using b...

Using generated C# with Formula API equivalents of the Formula commands

first post: NicolasRouquette wrote: The Formula "generate" command prints a C# program. Now what? I...

latest post: ejackson wrote: The "generate" command shows you a C# embedding of the Formula doma...

Generating valid models using Formula

first post: beperev wrote: Hi all! does anybody know the Formula command I would need to use ...

latest post: ejackson wrote: Hi Bea, The model finder for Formula 2.0 (using Z3 4.0) is still u...

Building Z3 dependency failed.

first post: NicolasRouquette wrote: This is my first time building something from source code in VS. I...

latest post: ejackson wrote: I have updated the Readme file to clarify the python version depend...

  • 1-8 of 8 discussions
    • Previous
    • 1
    • Next
    • Showing
    • All
    • discussions