Satyrus Docs

Welcome to the Satyrus documentation!

• Getting Started
  • Installation
  • Command line interface
• SATish Language
  • Syntax
  • Legacy Syntax
• Examples
  • Problem Modelling
  • Compilation
  • Solver Interfaces
  • Custom API Setup
• Python API
  • How to
  • Running
  • Other Examples
  • Appendix - Posiform

Indices and tables

• Index

• Search Page