SmartFormulaPRO

Not a spreadsheet. A rule engine.

Spreadsheets calculate values. SmartFormulaPRO defines deterministic decision logic you can reuse, audit, and keep in sync.
Cell-based tools
Stateful and fragile
  • Logic is scattered across cells, references, and hidden state
  • Copy-paste creates multiple versions of the “same” rule
  • Auditing becomes difficult as changes spread silently
  • Complexity grows into fragile files and brittle workflows
Typical symptom
=IF(A12>0, B7*C3, "")
Where is the rule? Who changed it last month?
SmartFormulaPRO
Deterministic and auditable
  • Write business rules using a readable, cell-independent DSL
  • Inputs, calculations, and outputs are explicitly separated
  • Store once, reuse safely across scenarios and teams
  • Same inputs → same outputs, always (deterministic)
The rule is explicit
?Base price [number] = base
?VAT rate [number] = vat
@Price = base * (1 + vat)
#Result = @Price
Inputs (?) → calculations (@) → outputs (#)
? Base price
NUMBER
100
? VAT rate
NUMBER
0.20
result
OUT
120
Repeatability
Rules are managed assets — not fragile files.
Auditability
Readable rules make review and control straightforward.
Operational speed
Write once, reuse safely. No duplication.

Determinism & trust

This is decision logic for professional work — clarity matters more than cleverness.
Deterministic execution
Same inputs always produce the same outputs. No surprises, no hidden randomness.
No hidden state
Rules are explicit: inputs (?), calculations (@), and outputs (#) are separated and readable.
Auditable rules
DSL is reviewable — so decisions can be explained and checked later.
Cloud sync is standard
Cloud synchronization is part of the core system (including Free). Execution remains offline-first.