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

💡 Examples#

Important

If you wish to run the examples yourself, you can find them in the clinguin repository.

Warning

Make sure you run the command line while you stand in the examples/angular directory.

  • Sudoku
  • Cats and dogs
  • Elevator
  • Knapsack
  • Placement
  • Study regulations
  • Graph coloring
  • Tree Browser
  • Sudoku basic
  • Sudoku Explained
  • Jobshop
Next
Sudoku
Previous
Contributing
Copyright © 2022, Susana Hahn, Alexander Beiser
Made with Sphinx and @pradyunsg's Furo