Analyzed
25 minutes
ago.
based on code collected
2 days
ago.
Project Summary
Simple DSL to solve SMT problems using Z3 API in F#
In a Nutshell, Z3Fs...
- ...
- ...
- ...
-
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in December, 2012
ending with its most recent commit almost 6 years ago
Quick Reference
https://github.com/dungpa/Z3Fs
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
55% of companies leverage OSS for production infrastructure
-
...
by exploring contributors within projects, you can view details on every commit they have made to that project
-
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
-
...
compare projects before you chose one to use
30 Day SummaryNov 4 2024 — Dec 4 2024
|
12 Month SummaryDec 4 2023 — Dec 4 2024
|
