fixed_z3 0.1.1

fixed_z3: ^0.1.1 copied to clipboard

Use this package as a library

Depend on it

Run this command:

With Dart:

 $ dart pub add fixed_z3

With Flutter:

 $ flutter pub add fixed_z3

This will add a line like this to your package's pubspec.yaml (and run an implicit dart pub get):

dependencies:
  fixed_z3: ^0.1.1

Alternatively, your editor might support dart pub get or flutter pub get. Check the docs for your editor to learn more.

Import it

Now in your Dart code, you can use:

import 'package:fixed_z3/z3.dart';
import 'package:fixed_z3/z3_ffi.dart';