Contact

Do not hessitate to join us in our Telegram group if you need some support. Also, the issue tracker is up and running for any bug or feature request you might have.

You can create issues following for the issues you find in the following directions:

• For any general request or bug, please head on to: Report requests/bugs
• For any feature modelling related problem head to: FM Issues
• For sat based operations, please create an issue here: SAT Issues
• For bdd based operations, please refer to: BDD Issues