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 11 hours ago, and awarded it 130 pub points (of a possible 160):
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
0/0 points: WASM compatibility
Package not compatible with runtime wasm
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
This package is not compatible with runtime wasm, and will not be rewarded full points in a future version of the scoring model.
See https://dart.dev/web/wasm for details.
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.3 | 2.1.3 |
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
20/20 points: Compatible with dependency constraint lower bounds
pub downgrade does not expose any static analysis error.
Analyzed with Pana 0.22.15, Dart 3.5.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)
