-
2016-2017: Panini was initiated by Yong Lai, Dayou Liu, and Minghao Yin.
-
2019-2020: Panini was deeply optimized when Yong Lai was in National University of Singapore with the help from Kuldeep S. Meel and Roland H. C. Yap. Kuldeep S. Meel named it as Panini (the name of an ancient linguist).
-
2019-2020: PreLite was initiated by Yong Lai, Kuldeep S. Meel, and Roland H. C. Yap.
-
2020-2021: ExactMC was initiated by Yong Lai, Kuldeep S. Meel, and Roland H. C. Yap.
-
2018-2019, 2022: PartialKC was initiated by Yong Lai, Kuldeep S. Meel, and Roland H. C. Yap.
-
2021-2022: Panini was updated by Yong Lai, Kuldeep S. Meel, and Roland H. C. Yap. Now it can compile CNF formulas into CCDD.
-
2021-2022: ExactUS was initiated by Yong Lai, Kuldeep S. Meel, and Roland H. C. Yap.
-
2023: ExactUS was renamed as FastUS by Yong Lai.
-
2024: Panini was updated by Yong Lai, Kuldeep S. Meel, and Roland H. C. Yap. Now it supports the compilation to Decision-DNNF. It also implements a family of queries with the languages OBDD, OBDD[AND], Decision-DNNF, and CCDD.
-
2024: Mate Soos joined the project.