DatalogZ
extension of Datalog with integer arithmetic and comparisons
Aliases: Datalogℤ
Wikidata: Q117219474
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2024-05-17
extension of Datalog with integer arithmetic and comparisons
Aliases: Datalogℤ
Wikidata: Q117219474
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2024-05-17