File size: 324 Bytes
040c1a0 |
1 2 3 4 5 6 |
---
language: en, FlashFill-dsl
license: apache-2.0
widget:
- 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)"
example_title: "First Name" |