Search/
Skip to content
/
OpenRouter
© 2026 OpenRouter, Inc

Product

  • Chat
  • Rankings
  • Apps
  • Models
  • Providers
  • Pricing
  • Redeem
  • Enterprise

Company

  • About
  • Announcements
  • CareersHiring
  • Privacy
  • Terms of Service
  • Support
  • State of AI
  • Works With OR

Developer

  • Documentation
  • API Reference
  • SDK
  • Status

Connect

  • Discord
  • GitHub
  • LinkedIn
  • X
  • YouTube
Favicon for https://github.com/shaowei-cai-group/AriParti

AriParti SMT Solver

Explore app analytics for AriParti SMT Solver

2.69BTotal tokens
#321Global Rank
Mar 2026Active since
2Models used

AriParti SMT Solver OpenRouter Usage

Last 30 days

Top Models used by AriParti SMT Solver this Month