reshinth.adith
commited on
Commit
·
040c1a0
1
Parent(s):
f7f1d9c
Update README.md
Browse files
README.md
CHANGED
|
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
language: en, FlashFill-dsl
|
| 3 |
+
license: apache-2.0
|
| 4 |
+
widget:
|
| 5 |
+
- text: "(declare-var name String)\n(constraint (= (f "Nancy FreeHafer") "Nancy"))\n(constraint (= (f "Andrew Cencici")"Andrew"))\n(constraint(= (f "Jan Kotas") "Jan"))\n(constraint (= (f "Mariya Sergienko") "Mariya"))\n(check-synth)"
|
| 6 |
+
example_title: "First Name"
|