Open Source Adventures: Episode 01: Crystal FFI and Z3

• z3

  28 9,708 9.8 C++

  The Z3 Theorem Prover

  

Z3 is a theorem prover library, and I maintain a Ruby gem for it. I wrote about it previously in 100 Languages Speedrun: Episode 23: Ruby Z3 .

• z3

  4 60 5.2 Ruby

  Ruby bindings for Z3 constraint solver library (by taw)

Z3 is a theorem prover library, and I maintain a Ruby gem for it. I wrote about it previously in 100 Languages Speedrun: Episode 23: Ruby Z3 .

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• crystal-z3

  5 3 0.0 Crystal

  Z3 library for Crystal

I put the code in crystal-z3 repo.

Suggest a related project