0
I Use This!
Moderate Activity
Analyzed about 13 hours ago. based on code collected about 18 hours ago.

Project Summary

Unified Java API for SMT solvers

Tags

interpolation java smt smt_solver solver

Badges

Quick Reference

Apache License 2.0
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Sub-License

Private Use

Use Patent Claims

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

State Changes

Include License

Include Notice

These details are provided for information only. No information here is legal advice and should not be used as such.

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    you can embed statistics from Open Hub on your site
About Project Security

Languages

Java
77%
C++
12%
XML
5%
7 Other
6%

30 Day Summary

Sep 15 2026 — Oct 15 2026

12 Month Summary

Oct 15 2025 — Oct 15 2026
  • 1058 Commits
    Up + 317 (42%) from previous 12 months
  • 9 Contributors
    Down -1 (10%) from previous 12 months