temporal_logic_mtl 0.2.0 copy "temporal_logic_mtl: ^0.2.0" to clipboard
temporal_logic_mtl: ^0.2.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 Flutter:

 $ flutter pub add temporal_logic_mtl

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

dependencies:
  temporal_logic_mtl: ^0.2.0

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_mtl/temporal_logic_mtl.dart';
0
likes
140
points
54
downloads

Publisher

verified publishercaph.jp

Weekly Downloads

Metric Temporal Logic (MTL) extensions for temporal_logic_core.

Homepage
Repository (GitHub)

Documentation

API reference

License

MIT (license)

Dependencies

flutter, meta, temporal_logic_core

More

Packages that depend on temporal_logic_mtl