z3 0.1.0 
z3: ^0.1.0 copied to clipboard
tst.shHigh-level bindings to the Z3 SMT solver.
We analyzed this package 9 days ago, and awarded it 110 pub points (of a possible 140):
0/10 points: Provide a valid pubspec.yaml
The package description is too short.
Add more detail to the description field of pubspec.yaml. Use 60 to 180 characters to describe the package, what it does, and its target use case.
5/5 points: Provide a valid README.md
5/5 points: Provide a valid CHANGELOG.md
10/10 points: Use an OSI-approved license
Detected license: BSD-3-Clause.
10/10 points: 20% or more of the public API has dartdoc comments
811 out of 2410 API elements (33.7 %) have documentation comments.
Some symbols that are missing documentation: z3, z3.$, z3.$s, z3.AST, z3.AST.AST.
0/10 points: Package has an example
No example found.
See package layout guidelines on how to add an example.
20/20 points: Supports 5 of 6 possible platforms (iOS, Android, Web, Windows, macOS, Linux)
- ✓ Android
- ✓ iOS
- ✓ Windows
- ✓ Linux
- ✓ macOS
These platforms are not supported:
Package not compatible with platform Web
Because:
package:z3/z3.dartthat imports:package:z3/src/z3.dartthat imports:package:z3/src/z3_ffi.e.dartthat imports:package:z3/src/z3_ffi.dartthat imports:dart:ffi
40/50 points: code has no errors, warnings, lints, or formatting issues
Found 9 issues. Showing the first 2:
INFO: 'elementAt' is deprecated and shouldn't be used. Use operator + instead.
lib/src/z3.dart:1230:15
╷
1230 │ decls.elementAt(i),
│ ^^^^^^^^^
╵
To reproduce make sure you are using the lints_core and run dart analyze lib/src/z3.dart
INFO: 'elementAt' is deprecated and shouldn't be used. Use operator + instead.
lib/src/z3.dart:1235:27
╷
1235 │ final con = decls.elementAt(i).value;
│ ^^^^^^^^^
╵
To reproduce make sure you are using the lints_core and run dart analyze lib/src/z3.dart
10/10 points: All of the package dependencies are supported in the latest version
| Package | Constraint | Compatible | Latest |
|---|---|---|---|
ffi |
^2.1.0 |
2.1.2 | 2.1.2 |
meta |
^1.9.1 |
1.14.0 | 1.14.0 |
package_config |
^2.1.0 |
2.1.0 | 2.1.0 |
pub_semver |
^2.1.1 |
2.1.4 | 2.1.4 |
Transitive dependencies
| Package | Constraint | Compatible | Latest |
|---|---|---|---|
collection |
- | 1.18.0 | 1.18.0 |
path |
- | 1.9.0 | 1.9.0 |
To reproduce run dart pub outdated --no-dev-dependencies --up-to-date --no-dependency-overrides.
10/10 points: Package supports latest stable Dart and Flutter SDKs
Analyzed with Pana 0.22.3, Dart 3.3.3.
Check the analysis log for details.
Metadata
Publisher
Metadata
High-level bindings to the Z3 SMT solver.
Repository (GitHub)
View/report issues
Documentation
License
BSD-3-Clause (LICENSE)
Dependencies
ffi, meta, package_config, pub_semver
