SAT solver

GridSAT is German non-profit foundation ran by the stealth-startup EasyXPS, Inc.

It was founded on July 1 2021 and capitalized with 100% of the authorized EasyXPS, Inc. shares in addition to EUR 5,000 in cash and a data center with 61.633 computing cores donated by 3onic Systems, Inc.

GridSAT deploys the XPS NDP (Non-Deterministic Processor) with unlimited linear scalability (processor cores/threads) over the global computing grid.

The NDP redefines everything.

Its technological foundation is based on insights into the deeply rooted connection between logic and Arabic language.

In addition to leveraging the InterPlanetary File System IPFS and NFTs burned into the Ethereum blockchain, NDP repositories are redundantly hosted with all code, patents, and publications Open Source, Open Access, and Open Data.

A boolean constraint (cnf), satisfyability solver. This one by design generates very short unsat proofs.