Contents Menu Expand Light mode Dark mode Auto light/dark mode
clinguin
Light Logo Dark Logo
clinguin
  • ⚙️ Installation
  • 🚀 Quick Start
  • 📖 Reference Guide
    • Structure
    • Input
    • State
    • Control
    • Communication
  • 🎨 Frontends
    • TkinterFrontend
    • AngularFrontend
  • 🧠 Backends
    • ClingoBackend
    • ClingraphBackend
    • ExplanationBackend
    • ClingoDLBackend
  • 👩‍💻 Customization
    • API
    • Creating your own backend
    • Installing from source
    • Angular Frontend Development
    • Contributing
  • 💡 Examples
    • Sudoku
    • Cats and dogs
    • Elevator
    • Knapsack
    • Placement
    • Study regulations
    • Graph coloring
    • Tree Browser
    • Sudoku basic
    • Sudoku Explained
    • Jobshop
  • 💬 Help
Back to top
Edit this page

🧠 Backends#

The backends listed here are provided with clinguin. All available functions that can be referenced in the ui-state for each backend are listed below. Notice that all backends will also include the functionalities of the ones they extend.

Built-in Backends#

  • ClingoBackend
  • ClingraphBackend
  • ExplanationBackend
  • ClingoDLBackend
Next
ClingoBackend
Previous
AngularFrontend
Copyright © 2022, Susana Hahn, Alexander Beiser
Made with Sphinx and @pradyunsg's Furo
On this page
  • 🧠 Backends
    • Built-in Backends