https://github.com/alpha-asp/Alpha

A lazy-grounding Answer-Set Programming system
https://github.com/alpha-asp/Alpha

answer-set-programming lazy-grounding logic-programming solver

Last synced: 5 days ago
JSON representation

A lazy-grounding Answer-Set Programming system

• Host: GitHub
• URL: https://github.com/alpha-asp/Alpha
• Owner: alpha-asp
• License: bsd-2-clause
• Created: 2016-07-08T10:52:13.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2025-11-22T11:32:10.000Z (about 2 months ago)
• Last Synced: 2025-11-22T13:15:14.521Z (about 2 months ago)
• Topics: answer-set-programming, lazy-grounding, logic-programming, solver
• Language: Java
• Homepage:
• Size: 31.8 MB
• Stars: 62
• Watchers: 4
• Forks: 12
• Open Issues: 81
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Citation: CITATION.cff
  • Authors: AUTHORS

Awesome Lists containing this project

• awesome-java - Alpha