Régis Blanc

Hi, SGL itself can export a jar, which only relies on AWT (and thus the JVM), so it can theoretically export games to Windows. That said, I have never tried...

Hello, The short answer is, unfortunately no, there's no support for Mill... I suspect it shouldn't be that difficult to make it work with Mill, SGL is not using many...

Hi, thanks for the suggestion. I would like to write some tutorial at some point, but the library is still a bit too experimental for that. But better documentation and...

I know it was asked a long time ago, but the library kept changing since then so it never felt like it was a good time to write a tutorial....

Here's part 2 of the tutorial series: https://regblanc.com/blog/making-a-scala-game-part2/ I'll write one last part to cover publishing to Android and iOS.

This is not a solution to the build problem, but you can run Leon without using the ScalaZ3 library. You need to install Z3 and add the `z3` binary to...

Indeed the issue is that require/ensuring can be attached to any expression, and due to the Unit type and the final boolean expression, the parsed expression is a sequence of...

Ah yes, sorry about that. I turned down my website a while ago and was not planning to bring it back up. So what I will do eventually is to...

Unfortunately, there is indeed a lack of in-depth documentation for the library. The README tries to give an overview and points to the main entry points, but then more detailed...

Hello, sorry for the delay, I have published the latest commit to Sonatype: https://mvnrepository.com/artifact/com.regblanc/scala-smtlib_2.13/0.2.1-42-gc68dbaa Will that be enough for you? I'm not very active on this project anymore so I...