[FIX] fix build

.github/workflows/build-and-test.yaml

@@ -27,7 +27,7 @@ jobs:
     - name: Install package dependencies
       run: |
         python -m pip install --upgrade pip
-        pip install -r .github/build_tools/requirements.txt
+        pip install pytest pytest-cov
     - name: Install
       run: pip install -v -e .
     - name: Run tests

README.md

@@ -11,7 +11,7 @@ To learn how to use it, please refer to - [document](https://www.lamda.nju.edu.c
 
 ## Installation
 
-ABL is distributed on `PyPI <https://pypi.org/>`__ and can be installed with ``pip``:
+ABL is distributed on [PyPI](https://pypi.org/) and can be installed with ``pip``:
 
 ```bash
     # (TODO)
@@ -38,7 +38,7 @@ For Linux users:
 
 ```bash
     $ sudo apt-get install swi-prolog
-``````
+```
 
 For Windows and Mac users, please refer to the [Swi-Prolog Download Page](https://www.swi-prolog.org/Download.html).
 
@@ -50,3 +50,4 @@ For Windows and Mac users, please refer to the [Swi-Prolog Download Page](https:
 
 ## NOTICE 
 They can only be used for academic purpose. For other purposes, please contact with LAMDA Group(www.lamda.nju.edu.cn).
+

pyproject.toml

@@ -8,7 +8,7 @@ version = "0.1.4"
 authors = [
   { name="LAMDA 2023" },
 ]
-description = "ABL-Package"
+description = "Abductive learning package project"
 readme = "README.md"
 requires-python = ">=3.6.0"
 license = {text = "MIT LICENSE"}