Puzzle Architect Pro

🚀 Stop guessing. Start proving.

Most puzzle generators just create random noise. 

Puzzle Architect Pro is the first Unity framework integrated with the Microsoft Z3 Theorem Prover to mathematically guarantee your levels are solvable and unique.

🎮 What Can You Build?

This is a generic node-connection engine. If your game involves drawing a path from A to B, this tool builds it. 

• Flow / Numberlink: Classic color connecting. 

• Pipe & Plumber: Rotate/Place pipes to route water. 

• Dungeon Pathing: Plan a hero's route to collect keys and avoid traps. 

• Circuit Boards: Connect chips without crossing traces. 

• Traffic Control: Route trains/cars to stations.

⚡ Key Features

1. The Z3 Solver Integration

Don't ship broken levels. The system proves a solution exists and guarantees uniqueness (only one valid path) to prevent player frustration.

2. Hybrid Workflow• Generate:

 Create 1,000 valid levels in seconds. 

• Hand-Craft: Use the Paint, Erase, and Draw Path tools to design specific tutorials. 

• Solve & Visualize: Stuck on a design? Click "Solve" to see the perfect solution instantly in the Editor.

3. Data-Driven Logic

Create complex mechanics like Keys, Gates, and Teleporters using the visual inspector. No coding required to link objects.

🏆 Production Ready

This isn't a prototype. This tool was built to ship the live Android game "Aether Flow: Logic Puzzle". It handles mobile performance, serialization, and robust level loading out of the box.

📦 What's Inside?

• Complete Source Code (C#) 

• Editor Windows & Inspectors 

• Microsoft Z3 Libraries (MIT License) 

• Playable Demo Scene 

• Comprehensive PDF Documentation