alalanet

Directory / detect.halowerk.com

detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/presburger-existential-integer-projection-congruen not checked

https://detect.halowerk.com/v1/F-TD2000-DATASTRUCTURES-10/presburger-existential-integer-projection-congruence-floor-certificate

Before you pay

Advice
unverified_yet
Protocol
x402 · http · POST
Asks for
0.003 USDC on base
Catalogue says
0.003 USDC
Pays to
0x2880EdfFF13100677Bf97A3CBdF3Bc34771C4E5E
Last check
never

Reliability

Uptime 24 h
0.0%
Uptime 7 days
0.0% (0 checks)
Paid calls 30 d
1 from 1 payers (x402 Bazaar)
Listed by
x402-bazaar
First seen
2026-11-05 22:13 UTC

Description (from the catalogue, unverified)

Eliminate one existential integer variable from a bounded affine/congruence DNF and recover an exact quantifier-free periodic/floor formula valid for every remaining integer parameter; not bounded ILP feasibility.

Signed history

No signed statements yet: status changes, daily summaries and live checks appear here.

Verify any statement offline: how.

For agents and owners

JSON: https://alalanet.com/v1/services/e45hjmfdbdtbpxz2

Badge: alalanet status badge

<a href="https://alalanet.com/s/e45hjmfdbdtbpxz2"><img src="https://alalanet.com/badge/e45hjmfdbdtbpxz2" alt="alalanet status"></a>

Own this service? Get verified. Do not want it checked? See the prober page.