Closed abhiseksharma closed 2 years ago
Hi Abhisek
Getting 0 unsatisfiable classes is good :-) You should also get some files with the mapping outputs in the given folder.
Ernesto
El mar, 9 ago 2022 a las 9:46, Abhisek Sharma @.***>) escribió:
Getting Num unsat classes after integration: 0 while running logmap using jar file.
Could you suggest what should I do? I might be missing something.
Thanks & Regards Abhisek
[image: Screenshot (3)] https://user-images.githubusercontent.com/11247619/183605985-65f9e6fd-b58c-44cd-ae1a-e462e3ba2d1c.png g
— Reply to this email directly, view it on GitHub https://github.com/ernestojimenezruiz/logmap-matcher/issues/29, or unsubscribe https://github.com/notifications/unsubscribe-auth/ADYLZ6T3YER5H2VOP5PFWGTVYILHFANCNFSM55753LWA . You are receiving this because you are subscribed to this thread.Message ID: @.***>
-- Ernesto Jiménez-Ruiz Lecturer in Artificial Intelligence
Department of Computer Science School of Science & Technology City, University of London https://www.city.ac.uk/people/academics/ernesto-jimenez-ruiz
Oh ok 😅
I was getting blank mapping files so I thought I'm doing something wrong. I'll check again.
Thanks for the reply.
Abhisek
Getting Num unsat classes after integration: 0 while running logmap using jar file.
Could you suggest what should I do? I might be missing something.
Thanks & Regards Abhisek
g