temporal_logic_mtl 0.3.0
temporal_logic_mtl: ^0.3.0 copied to clipboard
Metric Temporal Logic (MTL) extensions for temporal_logic_core.
Use this package as a library
Depend on it
Run this command:
With Dart:
$ dart pub add temporal_logic_mtlWith Flutter:
$ flutter pub add temporal_logic_mtlThis will add a line like this to your package's pubspec.yaml (and run an implicit dart pub get):
dependencies:
temporal_logic_mtl: ^0.3.0Alternatively, 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:temporal_logic_mtl/temporal_logic_mtl.dart';