Commit
Β·
843e792
1
Parent(s):
03fe486
deb
Browse files
app.py
CHANGED
@@ -1,19 +1,4 @@
|
|
1 |
-
|
2 |
-
import
|
3 |
-
|
4 |
-
|
5 |
-
try:
|
6 |
-
version = subprocess.check_output(["minizinc", "--version"], text=True, stderr=subprocess.STDOUT, timeout=10)
|
7 |
-
print(f"π§ MiniZinc version (from Docker env): {version.strip()}")
|
8 |
-
solvers = subprocess.check_output(["minizinc", "--solvers"], text=True, stderr=subprocess.STDOUT, timeout=10)
|
9 |
-
print(f"π‘ MiniZinc solvers (from Docker env):\n{solvers.strip()}")
|
10 |
-
except FileNotFoundError:
|
11 |
-
print("β MiniZinc command not found. Check PATH in Dockerfile and setup.sh.")
|
12 |
-
except subprocess.CalledProcessError as e:
|
13 |
-
print(f"β MiniZinc command failed. Output: {e.output}")
|
14 |
-
except Exception as e:
|
15 |
-
print(f"β Error checking MiniZinc: {e}")
|
16 |
-
|
17 |
-
if __name__ == "__main__":
|
18 |
-
demo = create_ui()
|
19 |
-
demo.queue().launch()
|
|
|
1 |
+
# app.py
|
2 |
+
import time # Using time to make print unique if it runs multiple times
|
3 |
+
print(f"[{time.time()}] app.py: Script execution has STARTED.")
|
4 |
+
# At this point, DO NOT add any other imports or code yet.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|