QISMACAD // PRO
3.0.0-dev [DEVELOPMENT_BUILD]
DESKTOP APPLICATION // TAURI + RUST CORE

The Topographic CAD Engineered for the Land.

Computational geometry, surveying, terrain modeling, and multi-objective land partitioning inside a unified native desktop environment.

Explore the Engine Land Partitioning Demo
LOCAL METRIC FRAME // WORKSPACE X: 5200.00 m | Y: 3410.00 m
X (East) Y (North) ROAD_ACCESS_5m LOT_A 1,450.20 m² LOT_B 1,512.45 m² LOT_C 1,380.00 m² LOT_D 1,405.30 m²
Pareto Candidates Road Constraint Boundary Snaps

Deterministic Engineering Thesis

A methodology structured on formal computational geometry rather than generic CAD drafting.

01 // Problem

Cartographic projection coordinates cause floating-point cancellation. Traditional partitioning relies on manual trial-and-error without multi-objective validation.

02 // Method

Mathematical formulation via LocalMetricFrame: local coordinates barycentric translation restores machine-precision floating-point conditioning.

03 // Engine

Deterministic Rust core with Delaunay TIN triangulation, boolean topological operations, and multi-objective candidate generation.

04 // Verification

Geometric validity checks, non-self-intersection invariants, isoperimetric compactness scoring, and residual error tracking.

05 // Result

Pareto-optimal parcel partitions, validated cadastral Pregeo outputs, and interoperable openBIM / GIS exports.

DEMONSTRATION DATASET // ILLUSTRATIVE SIMULATION

Multi-Objective Land Partitioning

Interactive exploration of candidate solutions generated on the Pareto frontier for a 5,748 m² parcel.

Natural Language Input Constraint

"Partition the parcel into 4 lots with 5m road access and proportional surface areas."

Resolved Constraint DSL (AST) 
BOUNDARY: poly_parcel_5748m2
TARGET_LOTS: 4
ROAD_ACCESS_WIDTH: 5.0m
MIN_LOT_AREA: 1300.0m2
OBJECTIVE: [
  min(road_network_length),
  max(isoperimetric_compactness),
  min(area_variance)
]
Pareto Solution
Road Length 82.0 m
Compactness Score 0.84
Area Delta ± 66 m²
PARETO OPTIMIZER // ACTIVE CANDIDATE CANDIDATE: [A]
LOT 1 1,450.2 m² LOT 2 1,512.5 m² LOT 3 1,380.0 m² LOT 4 1,405.3 m²

Illustrative demonstration dataset. Live evaluation requires the deterministic Rust desktop core.

ARCHITECTURE // MODULES

Core Architectural Differentiators

Six engineering modules designed to bridge computational geometry with land surveying.

OPTIMIZER

01 // Land Partitioning

Multi-objective candidate generation based on Pareto optimality, minimum road frontage, proportional areas, and isoperimetric compactness.

SURVEYING

02 // Topography & Cadastre

Total station celerimetry, Italian Pregeo DAT parser (types 1, 2, 7, 8), trigonometric fiducial networks (TAF), and geodetic coordinate transformations.

TERRAIN

03 // 3D Mesh & DTM

Constrained Delaunay triangulation (TIN), breaklines enforcement, automated contour generation, and cut & fill volumetric calculations.

CORE

04 // Geometry Engine

LocalMetricFrame normalization resolving floating-point drift, planar topology validation, and deterministic boolean polygon operations in Rust.

INTEROPERABILITY

05 // GIS, CAD & openBIM

Bi-directional DXF support, native Rust DWG reader in development, GeoJSON, LandXML alignment, and openBIM IFC geometry exports.

DSL ENGINE

06 // Natural Language Constraints

Natural language constraint translation into a formal AST DSL, strictly validated and solved by the deterministic mathematical core.

SYSTEM ARCHITECTURE // TAURI IPC + RUST CORE

Deterministic Calculation Pipeline

End-to-end data flow from user interaction to mathematical verification and CAD export.

  1. 01 VERIFIED / AVAILABLE
    INPUT

    User Input & Constraints

    DSL AST
  2. 02 VERIFIED / AVAILABLE
    CLIENT

    TypeScript UI Boundary

    TypeScript
  3. 03 IN DEVELOPMENT
    BRIDGE

    Tauri IPC Protocol

    Tauri IPC
  4. 04 IN DEVELOPMENT
    CORE

    Rust Deterministic Core

    Rust Native
  5. 05 IN DEVELOPMENT
    GEODETICS

    LocalMetricFrame Projection

    f64 Matrix
  6. 06 IN DEVELOPMENT
    GEOMETRY

    Planar Topology & Booleans

    Boolean 2D
  7. 07 IN DEVELOPMENT
    SURFACE

    Delaunay TIN Terrain Engine

    Delaunay TIN
  8. 08 IN DEVELOPMENT
    SOLVER

    Pareto Candidate Generator

    Pareto Front
  9. 09 IN DEVELOPMENT
    QA GATE

    Geometric Verification Gate

    Residual Check
  10. 10 IN DEVELOPMENT
    OUTPUT

    CAD, GIS & openBIM Export

    DXF / IFC
INTEROPERABILITY // FACTUAL SPECIFICATION

Technical Format Matrix

Factual I/O status across CAD, surveying, openBIM, and GIS data exchanges.

Format / Standard Category Import Status Export Status Technical Coverage & Limitations
AutoCAD® DXF (ASCII / Binary) CAD IN DEVELOPMENT IN DEVELOPMENT R12 - R2018. 2D/3D entities parser in validation (LINE, LWPOLYLINE, CIRCLE, ARC, TEXT, 3DFACE).
Autodesk® DWG™ CAD IN DEVELOPMENT PLANNED Native Rust reader in active development. Coverage testing in progress on R14-R2024 specifications.
Pregeo DAT Surveying IN DEVELOPMENT IN DEVELOPMENT Italian cadastral libretto parser in validation: rows 1 (station), 2 (targets), 7 (contours), 8 (fiducials TAF).
LandXML Civil / Infra IN DEVELOPMENT IN DEVELOPMENT TIN surfaces, contour sets, and parcel boundary alignments (v1.2 schema parser in development).
openBIM® IFC (IFC4 / IFC4x3) BIM PLANNED IN DEVELOPMENT IfcSite, IfcGeographicElement, and faceted boundary representation of terrain mesh in development.
GeoJSON GIS IN DEVELOPMENT IN DEVELOPMENT FeatureCollection export with local CRS projection properties and metadata in validation.
Point Cloud (ASCII XYZ / CSV) Surveying IN DEVELOPMENT IN DEVELOPMENT ASCII X, Y, Z coordinates + point code parser in validation. Binary LAS/LAZ planned.

Trademarks & Licensing: DWG is a registered trademark of Autodesk, Inc. Pregeo is a software procedure of the Italian Agenzia delle Entrate. openBIM and IFC are registered trademarks of buildingSMART International. QismaCAD is an independent desktop engineering application without official affiliation or endorsement from Autodesk, Agenzia delle Entrate, or buildingSMART.

INTERNAL BENCHMARKS // PENDING SOFTWARE VERIFICATION

Documented Engineering Benchmarks

Testing methodologies and numerical stability targets designed for continuous integration verification.

PENDING AUDIT

LocalMetricFrame Coordinate Conditioning

Testing methodology for mitigating floating-point cancellation at extreme coordinates. Local barycentric translation designed to maintain numerical stability.

Target: Machine Epsilon Stability | Status: PENDING SOFTWARE AUDIT
IN DEVELOPMENT

Constrained Delaunay Triangulation (TIN)

Surface mesh generation under active development: breakline constraint enforcement and planar non-overlapping validation in progress.

Target: Constrained Planar Triangulation | Status: IN DEVELOPMENT
PENDING AUDIT

Pareto Frontier Partition Solver

Multi-objective candidate generator methodology evaluating road access continuity and isoperimetric quotient on reference parcels.

Target: Multi-Objective Candidate Optimization | Status: PENDING SOFTWARE AUDIT

Benchmark Verification Notice: Quantitative performance and precision values are unconfirmed by the web platform team pending formal test logs from the QismaCAD Software core repository. No unverified numbers are published.

DESKTOP APPLICATION BUILD // OFFICIAL V3.0 RELEASE UNDER PACKAGING

Engineered for Land Surveyors & Civil Engineers

Deterministic mathematical geometry, multi-objective parcel partitioning, and cadastral interoperability in a unified native desktop platform.

Explore Architecture Inspect Format Matrix