Alt-Ergo Documentation

Contents

  • Install
  • Usage
  • SMT-LIB language
  • Alt-Ergo's native language
  • Model generation
  • Optimization
  • API documentation
  • Plugins
  • Developer's documentation
    • Project Architecture
    • Contributing guidelines
  • About
Alt-Ergo Documentation
  • Developer’s documentation

Developer’s documentation

Contents

  • Project Architecture
  • Contributing guidelines
    • Foreword
    • Pull Request Guidelines
    • Legal Guidelines
    • Develop with Nix
    • Release Process
Previous Next

© Copyright 2020 - 2023, Alt-Ergo developers.

Built with Sphinx using a theme provided by Read the Docs.