Tech riderRev. 24 Sept 2026
Satisfiability.jl
- 1Runs onNot stated by the maker
- 2CostsNot stated by the maker
- 3Verification methodsymbolic
- 4Supported formalismstheorem-proving
- 5Input languagesJulia; SMT-LIB
- 6Deploymentself-hosted
4 lines stated Written from the maker's own pages: elsoroka.github.io
Overview
Satisfiability.jl is ranked #31 of 33 in formal verification tools on Specifiction.
Compared on formal verification tools
- Free plan
- Yeselsoroka.github.io
- Verification method
- symbolicelsoroka.github.io
- Supported formalisms
- theorem-provingelsoroka.github.io
- Input languages
- Julia; SMT-LIBelsoroka.github.io
- Deployment
- self-hostedelsoroka.github.io
Company
- Founded
- 2023elsoroka.github.io · 4 Oct 2026
Best Satisfiability.jl alternatives
See all 20 All accessCh 01 Lean Free planLinuxMac Free to start7.5 All accessCh 02 PVS Free planLinuxMac Free to start7.5 All accessCh 03 Rocq Free planBrowserLinux Free to start7.5 All accessCh 04 Z3 Free planAndroidAPI Free to start7.4 All accessCh 05 HOL4 Free planLinuxMac Free to start7.3 All accessCh 06 Alloy Analyzer Free planAPILinux Free to start7.2
Where it ranks on Specifiction
Is Satisfiability.jl yours?
Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.
Sources
- elsoroka.github.io/Satisfiability.jl/· checked 4 Oct 2026