From 97daae2839fccc65be2c84b7481c22207eaa6d33 Mon Sep 17 00:00:00 2001
From: troyyyyy <49091847+troyyyyy@users.noreply.github.com>
Date: Mon, 5 Dec 2022 20:47:32 +0800
Subject: [PATCH] Update readme.md

---
 readme.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/readme.md b/readme.md
index 1a9ebf1..e3726a9 100644
--- a/readme.md
+++ b/readme.md
@@ -24,10 +24,10 @@ They can only be used for academic purpose. For other purposes, please contact w
 
 ## To do list 
 
-- Improve speed and accuracy
-- Add comparison with DeepProbLog, NGS,... (Accuracy and Speed)
-- Add Inference/Abduction example with FOL engine (e.g., Prolog)
-- Add zoopt optimization
-- Rearrange structure and make it a python package
-- Documents
+- [ ] Improve speed and accuracy
+- [ ] Add comparison with DeepProbLog, NGS,... (Accuracy and Speed)
+- [x] Add Inference/Abduction example with FOL engine (e.g., Prolog)
+- [x] Add zoopt optimization
+- [ ] Rearrange structure and make it a python package
+- [ ] Documents