Popular repositories Loading

1. website website Public

   website for krr

   HTML 3

2. Ding-Tag Ding-Tag Public

   使用PySide6制作一个音频数据集标注工具

   Python 2

3. circumscription_experiment circumscription_experiment Public

   限定理论模型的两种计算方法 实验结果

   1

4. minimal_model minimal_model Public

   Forked from francisol/minimal_model

   compute minimal model baseed on minisat

   C++

5. py_minimal_model py_minimal_model Public

   Forked from francisol/py_minimal_model

   compute minimal models based on python-sat

   Python

6. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++