summaryrefslogtreecommitdiff
path: root/src/bitmap.c
AgeCommit message (Expand)AuthorFilesLines
2018-12-04Imported Upstream version 0.6.35upstream/0.6.35DongHun Kwak1-10/+10
2018-11-30Imported Upstream version 0.6.31upstream/0.6.31DongHun Kwak1-20/+30
2013-10-16remove trailing whitespaceMichael Schroeder1-1/+1
2012-04-16- add map_or and queue_preallocMichael Schroeder1-1/+15
2012-03-28- rename map_and_not to map_subtractMichael Schroeder1-4/+4
2012-03-27bitmap: implement map_and_not.Ales Kozumplik1-0/+12
2012-03-09bitmap: implement map_and and MAPSETALLAles Kozumplik1-0/+12
2011-07-12- rename all sat_ to solv_Michael Schroeder1-4/+4
2009-06-17- beautifyMichael Schroeder1-3/+8
2009-06-15- code cleanupMichael Schroeder1-3/+17
2009-06-04- move some flags describing the rpm from solver to poolMichael Schroeder1-1/+1
2009-05-26- split problem handling from solver.cMichael Schroeder1-1/+1
2008-01-09- rename xmalloc/... functions to sat_malloc, as we're aMichael Schroeder1-3/+3
2007-11-08- add a licenseMichael Schroeder1-0/+7
2007-10-29- rename queue* to queue_*, inline a bit moreMichael Schroeder1-3/+3
2007-10-15make prune_to_recommended look at recommends, too.Michael Schroeder1-4/+4
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+36