Welcome to Reasoners page – a space to discuss all things related to Imandra Universe’s reasoners and new features.
Here you can:
-
Dive into discussions about current reasoners, their capabilities and configurations
-
Submit and vote on new feature requests and reasoners to help shape the development of Imandra’s reasoning tools
-
Reports bugs and share feedback directly with the Imandra team
What is your favorite reasoner on Imandra Universe?
- ImandraX
- Mace4
- Clingo
- Other (posted in the replies below!)
0
voters