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

Core LTL/MTL AST, evaluator, and builder DSL for Dart.

Use this package as a library

Depend on it

Run this command:

With Dart:

 $ dart pub add temporal_logic_core

With Flutter:

 $ flutter pub add temporal_logic_core

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

dependencies:
  temporal_logic_core: ^0.1.0

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:temporal_logic_core/temporal_logic_core.dart';
0
likes
140
points
29
downloads

Publisher

verified publishercaph.jp

Weekly Downloads

Core LTL/MTL AST, evaluator, and builder DSL for Dart.

Homepage
Repository (GitHub)

Documentation

API reference

License

MIT (license)

Dependencies

meta

More

Packages that depend on temporal_logic_core