temporal_logic_flutter 0.1.1
temporal_logic_flutter: ^0.1.1 copied to clipboard
Flutter integration (TraceRecorder, Matchers) for temporal logic.
Use this package as a library
Depend on it
Run this command:
With Flutter:
$ flutter pub add temporal_logic_flutter
This will add a line like this to your package's pubspec.yaml (and run an implicit flutter pub get
):
dependencies:
temporal_logic_flutter: ^0.1.1
Alternatively, your editor might support flutter pub get
. Check the docs for your editor to learn more.
Import it
Now in your Dart code, you can use:
import 'package:temporal_logic_flutter/temporal_logic_flutter.dart';