z3 0.1.0 copy "z3: ^0.1.0" to clipboard
z3: ^0.1.0 copied to clipboard

High-level bindings to the Z3 SMT solver.

2
likes
110/ 140
pub points
35%
popularity

We analyzed this package 4 days ago, and awarded it 110 pub points (of a possible 140):

failed
Follow Dart file conventions
20 / 30trigger folding of the section

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.

failed
Provide documentation
10 / 20trigger folding of the section

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.

OK
Platform support
20 / 20trigger folding of the section

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.dart that imports:
  • package:z3/src/z3.dart that imports:
  • package:z3/src/z3_ffi.e.dart that imports:
  • package:z3/src/z3_ffi.dart that imports:
  • dart:ffi
partial
Pass static analysis
40 / 50trigger folding of the section

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

OK
Support up-to-date dependencies
20 / 20trigger folding of the section

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.2, Dart 3.3.3.

Check the analysis log for details.

2
likes
110
pub points
35%
popularity

Publisher

verified publishertst.sh

High-level bindings to the Z3 SMT solver.

Repository (GitHub)
View/report issues

Documentation

API reference

License

BSD-3-Clause (LICENSE)

Dependencies

ffi, meta, package_config, pub_semver

More

Packages that depend on z3