Popular repositories Loading

1. tabdual-plus tabdual-plus Public

   TABDUAL+ : Tabling in Contextual Abduction with Answer Subsumption

   Prolog 3 1

2. XTS-AES_CIS_2016 XTS-AES_CIS_2016 Public

   Repo untuk tugas 1 CIS 2016

   Java

3. ObatABC ObatABC Public

   HTML

4. logkomp2016 logkomp2016 Public

   Computational Logic Assignment: SAT Solver

   Java

5. hoax hoax Public

   PHP

6. T1_DDP2_Ganjil2017 T1_DDP2_Ganjil2017 Public

   Java