#repl #discrete-event #des #cli

sequent-repl

An adapter for using Sequent with Revolver

4 releases (2 breaking)

0.3.0 Dec 22, 2022
0.2.1 Nov 25, 2022
0.2.0 Nov 25, 2022
0.1.0 Nov 25, 2022

#333 in Simulation

MIT license

125KB
3K SLoC

sequent-repl

An adapter for using Sequent with Revolver.


lib.rs:

An adapter for using Sequent with Revolver.

Dependencies

~2–2.9MB
~61K SLoC