Giters
mikolak-net
/
bomba
A prototype Answer Set Programming Scala DSL.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
4
Issues:
8
Forks:
0
mikolak-net/bomba Issues
Build streamlining - add CI
Closed
9 years ago
Build streamlining - macro usage in tests
Updated
9 years ago
Comments count
2
Add Wiki documentation/demos - Scala interop
Updated
10 years ago
Build streamlining - artifact availability/repository setup
Closed
10 years ago
Comments count
2
Constraints don't work in @bomba notation
Closed
10 years ago
Comments count
3
Add Wiki documentation - basic ASP
Updated
10 years ago
Introduce ScalaCheck in tests
Updated
10 years ago
Build streamlining - possible switch to sbt
Updated
10 years ago