dart_z3 1.0.5 
dart_z3: ^1.0.5 copied to clipboard
Holds Dart-like bindings for the C api of Z3 Theorem Prover, version (4.8.17).
We analyzed this package 26 hours ago, and awarded it 110 pub points (of a possible 140):
10/10 points: Provide a valid pubspec.yaml
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: MIT.
10/10 points: 20% or more of the public API has dartdoc comments
23 out of 41 API elements (56.1 %) have documentation comments.
Some symbols that are missing documentation: dart_z3, dart_z3.AST.context, dart_z3.AST.delAst, dart_z3.ElementNotBoolSortException, dart_z3.ElementNotBoolSortException.ElementNotBoolSortException.
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:dart_z3/dart_z3.dartthat imports:package:dart_z3/src/z3.dartthat imports:package:dart_z3/src/generated_bindings.dartthat imports:dart:ffi
30/50 points: code has no errors, warnings, lints, or formatting issues
Found 138 issues. Showing the first 2:
WARNING: The value of the field '__val' isn't used.
lib/src/generated_bindings.dart:19673:31
╷
19673 │ external ffi.Array<ffi.Int> __val;
│ ^^^^^
╵
To reproduce make sure you are using the lints_core and run dart analyze lib/src/generated_bindings.dart
WARNING: The value of the field '__count' isn't used.
lib/src/generated_bindings.dart:19678:16
╷
19678 │ external int __count;
│ ^^^^^^^
╵
To reproduce make sure you are using the lints_core and run dart analyze lib/src/generated_bindings.dart
10/10 points: All of the package dependencies are supported in the latest version
| Package | Constraint | Compatible | Latest |
|---|---|---|---|
ffi |
^2.0.1 |
2.1.2 | 2.1.2 |
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.4.
Check the analysis log for details.
Metadata
Publisher
unverified uploader
Metadata
Holds Dart-like bindings for the C api of Z3 Theorem Prover, version (4.8.17).
Repository (GitHub)
View/report issues
Documentation
License
MIT (LICENSE)
