Tags

Tags give the ability to mark specific points in history as being important

cbt-v1.1.0

30e39e91 · add SCC(IsoCC) · Jan 11, 2026
```
add Symmetric Component Caching for PMC
```
cbt-v1.0.0

cd5731bc · add skip simplification · Aug 29, 2025
```
add Chronological CDCL
```
sym-v1.0.0

4e45ce06 · change Config · Jan 11, 2026
```
add Symmetric Component Caching for PMC
```
v1.1.1

f51df8db · update README.md · Aug 01, 2025
v1.0.1

9330c869 · minor revision · Sep 15, 2021
mc-2020

7b4dbd7c · modify runtime bug · Jun 08, 2020

Release: mc-2020
```
Release mc-2020
```
v1.0.0

1efe29e8 · import gpmc-1.0.0 · May 18, 2020

Release: v1.0.0
```
Release 1.0.0
```