Spaces:
Sleeping
Sleeping
Commit
ยท
1bb9a3d
1
Parent(s):
389a372
Update README
Browse files
README.md
CHANGED
@@ -42,13 +42,32 @@ optional arguments:
|
|
42 |
Maximum weight of programs to consider before terminating search.
|
43 |
```
|
44 |
|
45 |
-
For example, to synthesize programs in the arithmetic domain from the addition examples, run:
|
46 |
```
|
47 |
python3 synthesizer.py --domain arithmetic --examples addition
|
48 |
```
|
49 |
|
50 |
To add additional input-output examples, modify `examples.py`. Add a new key to the dictionary `examples`` and set the value to be a list of tuples.
|
51 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
52 |
## ๐๐ฝ Acknowledgements
|
53 |
|
54 |
I thank [Tyler Holloway](mailto:[email protected]), teaching fellow in CS252R, for her guidance in completing this implementation of bottom-up enumerative program synthesis.
|
|
|
42 |
Maximum weight of programs to consider before terminating search.
|
43 |
```
|
44 |
|
45 |
+
For example, to synthesize programs in the arithmetic domain from the addition input-output examples, run:
|
46 |
```
|
47 |
python3 synthesizer.py --domain arithmetic --examples addition
|
48 |
```
|
49 |
|
50 |
To add additional input-output examples, modify `examples.py`. Add a new key to the dictionary `examples`` and set the value to be a list of tuples.
|
51 |
|
52 |
+
## ๐ฎ Virtual Environment
|
53 |
+
|
54 |
+
To create a virtual environment, run:
|
55 |
+
```
|
56 |
+
conda deactivate
|
57 |
+
virtualenv synthesis_env
|
58 |
+
source synthesis_env/bin/activate
|
59 |
+
```
|
60 |
+
|
61 |
+
Then, install all required packages. The script `setup.sh` will activate the virtual environment. At the command line, run:
|
62 |
+
```
|
63 |
+
source setup.sh
|
64 |
+
```
|
65 |
+
|
66 |
+
To launch a Jupyter notebook, run `setup_jupyter.sh` at the command line:
|
67 |
+
```
|
68 |
+
source setup_jupyter.sh
|
69 |
+
```
|
70 |
+
|
71 |
## ๐๐ฝ Acknowledgements
|
72 |
|
73 |
I thank [Tyler Holloway](mailto:[email protected]), teaching fellow in CS252R, for her guidance in completing this implementation of bottom-up enumerative program synthesis.
|