Skip to content

Pull requests: niklasso/minisat

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Address a g++ compiler error and various warnings
#50 opened Feb 2, 2024 by spakin Loading…
Rename Readme to readme.md
#47 opened Apr 2, 2023 by haris-khan1596 Loading…
Fix compilation errors
#36 opened Jun 7, 2019 by jordi-petit Loading…
Update README
#35 opened Apr 6, 2019 by yadamit Loading…
fix c++11 std compliance
#33 opened Sep 14, 2018 by Udopia Loading…
Solution to issue #16 #1 on MacOX
#31 opened Aug 6, 2017 by zhzdeng Loading…
Makefile: fix lib rule
#25 opened Oct 11, 2015 by jirislaby Loading…
Fixing problems with compilation using C++11 compilers
#24 opened Apr 1, 2015 by msoos Loading…
Make the default binary statically linked.
#23 opened Mar 27, 2015 by ntc2 Loading…
Fix compilation for non-linux OS's
#18 opened May 8, 2014 by jbransen Loading…
Fixed "memUsedPeak not defined" bug on Mac OSX
#10 opened Nov 12, 2013 by thejoelw Loading…
Allow '-' to be passed as input and output.
#8 opened Sep 19, 2013 by vstakhov Loading…
ProTip! Add no:assignee to see everything that’s not assigned.