Issues (1–16 of 16)

Title	T	P	Status	Votes	Assignee	Created	Updated	Actions
#16: Code review of pb optimization branch	task	major	new			2024-03-14	2024-03-25
#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
#5: Simplify rule	task	major	resolved		Bart Bogaerts	2016-05-12	2016-12-26
#10: Duplicates in graph	enhancement	minor	new			2016-05-31	2016-07-20
#11: C++-style graph	proposal	trivial	new			2016-07-13	2016-07-13
#8: Directed vs undirected graphs	task	trivial	new			2016-05-17	2016-05-22
#4: Unused variables	enhancement	minor	new			2016-04-11	2016-05-21
#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