Metadata: discovery tags (collection, languages)
Browse files
README.md
CHANGED
|
@@ -4,6 +4,9 @@ license_name: busl-1.1
|
|
| 4 |
license_link: https://huggingface.co/Snapkitty/hyperkitty-constraint-dsl/blob/main/LICENSE
|
| 5 |
tags:
|
| 6 |
- snapkitty
|
|
|
|
|
|
|
|
|
|
| 7 |
---
|
| 8 |
|
| 9 |
> Source: [github.com/SNAPKITTYWEST/hyperkitty-constraint-dsl](https://github.com/SNAPKITTYWEST/hyperkitty-constraint-dsl)
|
|
|
|
| 4 |
license_link: https://huggingface.co/Snapkitty/hyperkitty-constraint-dsl/blob/main/LICENSE
|
| 5 |
tags:
|
| 6 |
- snapkitty
|
| 7 |
+
- formal-verification
|
| 8 |
+
- rust
|
| 9 |
+
- wasm
|
| 10 |
---
|
| 11 |
|
| 12 |
> Source: [github.com/SNAPKITTYWEST/hyperkitty-constraint-dsl](https://github.com/SNAPKITTYWEST/hyperkitty-constraint-dsl)
|