GitHub repository: DKARAGODIN/bitwuzla_jni
Created: 2022-11-16T17:04:41Z
Description: CPP linker between bitwuzla c api and Java code (KSMT)