A rich framework for modeling, simulating, and verifying bigraphical reactive systems.
| Version ▼ | Vulnerabilities | Repository | Usages | Date | |
|---|---|---|---|---|---|
2.4.x | 2.4.1 | Central |
0
| May 05, 2026 | |
| 2.4.0 | Central |
0
| Feb 23, 2026 | ||
2.3.x | 2.3.6 | Central |
0
| Jan 28, 2026 | |
| 2.3.5 | Central |
0
| Jan 09, 2026 | ||
| 2.3.4 | Central |
0
| Nov 22, 2025 | ||
| 2.3.3 | Central |
0
| Nov 19, 2025 | ||
| 2.3.2 | Central |
0
| Nov 16, 2025 | ||
| 2.3.1 | Central |
0
| Nov 13, 2025 | ||
| 2.3.0 | Central |
0
| Oct 10, 2025 | ||
2.2.x | 2.2.1 | Central |
0
| Sep 10, 2025 | |
| 2.2.0 | Central |
0
| Sep 05, 2025 | ||
2.1.x | 2.1.2 | Central |
0
| Sep 05, 2025 | |
| 2.1.1 | Central |
0
| Aug 18, 2025 | ||
| 2.1.0 | Central |
0
| May 16, 2025 | ||
2.0.x | 2.0.2 | Central |
0
| Apr 20, 2025 | |
| 2.0.1 | Central |
0
| Dec 12, 2024 | ||
| 2.0.0 | Central |
0
| Dec 11, 2024 | ||
1.1.x | 1.1.0 | Central |
0
| Feb 07, 2024 | |
1.0.x | 1.0.0 | Central |
0
| Nov 21, 2023 |
