Vinícius Camillo 1fc0f6416f Fixed CI actions on macOS. (#9448) ...

I increased cmake's minimum version in order to use the FindPython module, which allows the build system to specify python versions that are supported. Currently the support is extended to 3.6 through 3.10. I also removed some backward compatible conditions that do not apply anymore provided that cmake's minimum version is guaranteed to be 3.12.

MacOS builds are reenabled in ci.yml.

2023-01-24 19:01:36 +00:00

..

cpp

ff: connect sub-theories to main solver & test (#9218)

2022-12-16 16:36:41 +00:00

java

ff: connect sub-theories to main solver & test (#9218)

2022-12-16 16:36:41 +00:00

python

Fixed CI actions on macOS. (#9448)

2023-01-24 19:01:36 +00:00

smtlib

doc: ff examples (#9358)

2023-01-09 20:04:01 +00:00