SMT • Portfolio optimization • Formal constraints

Build portfolios from logic, not vibes.

A live quant terminal for LogicWealth: edit mandate constraints, compile them into a solver request, and inspect the resulting portfolio with certificate-style explanations.

Launch Solver
PortLogic mandate
objective maximize α - λσ
subject to:
  Σwᵢ = 1
  xᵢ ⇒ 2.5% ≤ wᵢ ≤ 9.5%
  Technology ≤ 26%
  beta ∈ [0.80, 1.15]
  ESG ≥ 58
  corr(i,j) > .90 ⇒ ¬(xᵢ ∧ xⱼ)
Status—backend: —
Expected Return—annualized proxy
Volatility—correlation proxy
Sharpe Proxy—return / volatility

Live output

Constraint certificate

not run

Checks

    Sector exposure

    Selected holdings

    0 assets
    TickerSectorWeightSharesRet.Vol.BetaESG

    Why-not explanation

    Run the solver to inspect exclusions.

    Asset universe

    Sample large-cap data

    TickerSectorPriceReturnVolatilityBetaESGADV