Spaces:

guoj5
/

Zebra

Running

App Files Files Community

guoj5 commited on Apr 6

Commit

d1f88fb

1 Parent(s): b9c9b71

Change a little

Browse files

Files changed (7) hide show

backend/__pycache__/solver.cpython-313.pyc +0 -0
backend/static/asset-manifest.json +3 -3
backend/static/index.html +1 -1
backend/static/static/js/{main.120fc3ad.js → main.cc4bfe13.js} +0 -0
backend/static/static/js/{main.120fc3ad.js.LICENSE.txt → main.cc4bfe13.js.LICENSE.txt} +0 -0
backend/static/static/js/{main.120fc3ad.js.map → main.cc4bfe13.js.map} +0 -0
frontend/src/App.js +4 -6

backend/__pycache__/solver.cpython-313.pyc CHANGED Viewed

Binary files a/backend/__pycache__/solver.cpython-313.pyc and b/backend/__pycache__/solver.cpython-313.pyc differ

backend/static/asset-manifest.json CHANGED Viewed

@@ -1,15 +1,15 @@
 {
   "files": {
     "main.css": "/static/css/main.e6c13ad2.css",
-    "main.js": "/static/js/main.120fc3ad.js",
     "static/js/453.8ab44547.chunk.js": "/static/js/453.8ab44547.chunk.js",
     "index.html": "/index.html",
     "main.e6c13ad2.css.map": "/static/css/main.e6c13ad2.css.map",
-    "main.120fc3ad.js.map": "/static/js/main.120fc3ad.js.map",
     "453.8ab44547.chunk.js.map": "/static/js/453.8ab44547.chunk.js.map"
   },
   "entrypoints": [
     "static/css/main.e6c13ad2.css",
-    "static/js/main.120fc3ad.js"
   ]
 }

 {
   "files": {
     "main.css": "/static/css/main.e6c13ad2.css",
+    "main.js": "/static/js/main.cc4bfe13.js",
     "static/js/453.8ab44547.chunk.js": "/static/js/453.8ab44547.chunk.js",
     "index.html": "/index.html",
     "main.e6c13ad2.css.map": "/static/css/main.e6c13ad2.css.map",
+    "main.cc4bfe13.js.map": "/static/js/main.cc4bfe13.js.map",
     "453.8ab44547.chunk.js.map": "/static/js/453.8ab44547.chunk.js.map"
   },
   "entrypoints": [
     "static/css/main.e6c13ad2.css",
+    "static/js/main.cc4bfe13.js"
   ]
 }

backend/static/index.html CHANGED Viewed

@@ -1 +1 @@

- <!doctype html><html lang="en"><head><meta charset="utf-8"/><link rel="icon" href="/favicon.ico"/><meta name="viewport" content="width=device-width,initial-scale=1"/><meta name="theme-color" content="#000000"/><meta name="description" content="Web site created using create-react-app"/><link rel="apple-touch-icon" href="/logo192.png"/><link rel="manifest" href="/manifest.json"/><title>React App</title><script defer="defer" src="/static/js/main.~~120fc3ad~~.js"></script><link href="/static/css/main.e6c13ad2.css" rel="stylesheet"></head><body><noscript>You need to enable JavaScript to run this app.</noscript><div id="root"></div></body></html>

+ <!doctype html><html lang="en"><head><meta charset="utf-8"/><link rel="icon" href="/favicon.ico"/><meta name="viewport" content="width=device-width,initial-scale=1"/><meta name="theme-color" content="#000000"/><meta name="description" content="Web site created using create-react-app"/><link rel="apple-touch-icon" href="/logo192.png"/><link rel="manifest" href="/manifest.json"/><title>React App</title><script defer="defer" src="/static/js/main.cc4bfe13.js"></script><link href="/static/css/main.e6c13ad2.css" rel="stylesheet"></head><body><noscript>You need to enable JavaScript to run this app.</noscript><div id="root"></div></body></html>

backend/static/static/js/{main.120fc3ad.js → main.cc4bfe13.js} RENAMED Viewed

The diff for this file is too large to render. See raw diff

backend/static/static/js/{main.120fc3ad.js.LICENSE.txt → main.cc4bfe13.js.LICENSE.txt} RENAMED Viewed

File without changes

backend/static/static/js/{main.120fc3ad.js.map → main.cc4bfe13.js.map} RENAMED Viewed

The diff for this file is too large to render. See raw diff

frontend/src/App.js CHANGED Viewed

@@ -17,11 +17,9 @@ function App() {
   const [isSolving, setIsSolving] = useState(false);
   const [problematicConstraints, setProblematicConstraints] = useState("");
-  const FLASK_BASE_URL = 'http://localhost:7860';
   // Frontend fetch sysContent in default
   useEffect(() => {
-    fetch(`${FLASK_BASE_URL}/default_sys_content`)
       .then(res => res.json())
       .then(data => {
         if(data.success) {
@@ -33,7 +31,7 @@ function App() {
   // When puzzleIndex changing，auto get puzzle
   useEffect(() => {
-    fetch(`${FLASK_BASE_URL}/get_puzzle?index=${puzzleIndex}`)
       .then(res => res.json())
       .then(data => {
         if(data.success) {
@@ -63,7 +61,7 @@ function App() {
     setIsSolving(true);
-    fetch(`${FLASK_BASE_URL}/solve`, {
       method: "POST",
       headers: { "Content-Type": "application/json" },
       body: JSON.stringify(payload)
@@ -127,7 +125,7 @@ function App() {
         <h2>Result</h2>
         <p>Success: {executionSuccess === null ? "N/A" : executionSuccess ? "✅" : "❌"}</p>
         <p>Attempts: {attempts}</p>
-        <h3>Problematic Constraints</h3>
         <pre>{problematicConstraints}</pre>
         <h3>Generated Code</h3>
         <pre>{generatedCode}</pre>

   const [isSolving, setIsSolving] = useState(false);
   const [problematicConstraints, setProblematicConstraints] = useState("");
   // Frontend fetch sysContent in default
   useEffect(() => {
+    fetch(`/default_sys_content`)
       .then(res => res.json())
       .then(data => {
         if(data.success) {
   // When puzzleIndex changing，auto get puzzle
   useEffect(() => {
+    fetch(`/get_puzzle?index=${puzzleIndex}`)
       .then(res => res.json())
       .then(data => {
         if(data.success) {
     setIsSolving(true);
+    fetch(`/solve`, {
       method: "POST",
       headers: { "Content-Type": "application/json" },
       body: JSON.stringify(payload)
         <h2>Result</h2>
         <p>Success: {executionSuccess === null ? "N/A" : executionSuccess ? "✅" : "❌"}</p>
         <p>Attempts: {attempts}</p>
+        <h3>Issues</h3>
         <pre>{problematicConstraints}</pre>
         <h3>Generated Code</h3>
         <pre>{generatedCode}</pre>