Issues (1–10 of 10)

Title	T	P	Status	Created	Updated
#15: Proper comparisons in PB optimization branch	bug	major	new	2024-03-14	2024-03-14
#13: segfault in ASP version	bug	major	new	2024-02-13	2024-03-10
#12: Compilation issue (uint not found)	bug	major	resolved	2022-09-30	2024-03-10
#14: Missing number of models (asp support)	bug	major	new	2024-02-13	2024-02-13
#6: Read from stdin	bug	major	resolved	2016-05-13	2016-12-26
#7: Makefile does not scan dependencies	bug	major	resolved	2016-05-13	2016-05-21
#9: Temp files	bug	major	new	2016-05-19	2016-05-19
#3: Segmentation fault	bug	major	resolved	2016-04-07	2016-04-07
#1: Help not working properly	bug	major	resolved	2016-03-01	2016-03-01
#2: Options are order dependent	bug	major	resolved	2016-03-01	2016-03-01