Simple implementation of Langchain and z3. Takes in a user input and places a wheelbarrow at the desired location. To start vite app: npm run dev
esther-214/z3-langchain
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Simple implementation of Langchain and z3. Takes in a user input and places a wheelbarrow at the desired location. To start vite app: npm run dev