Skip to content

Issues: niklasso/minisat

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

21 Open 5 Closed
21 Open 5 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Windows binary
#51 opened May 12, 2024 by PolarGoose
The way Minisat actually solves CNF clauses
#48 opened Apr 6, 2023 by anhpham197
--version
#46 opened Dec 4, 2022 by shafiuzzaman-md
1
error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition
#45 opened Jun 22, 2022 by trcrsired
2
what is cnf-file?
#44 opened Feb 18, 2022 by llllllzf
1
Correct the compiler warnings
#41 opened Oct 29, 2020 by MathieuDutSik
1
--soname linker error
#37 opened Sep 27, 2019 by karthik-titech
1
Understanding Question
#30 opened May 3, 2017 by ioah86
2
Compiling problem when using API with newer g++ version
#29 opened Oct 23, 2016 by p4p4
1
Asymmetric branching skips clauses
#26 opened Feb 3, 2016 by mishun
1
Compilation bug with clang 3.4
#22 opened Mar 26, 2015 by msoos
4
Async interrupt should not work
#21 opened Mar 26, 2015 by msoos
Minor logic errors in simplification
#20 opened Jan 13, 2015 by chanseokoh
11
Declaration of mkLit breaks compilation on OS X (with clang-503.0.40)
#16 opened Apr 28, 2014 by fniksic
5
Running minisat on visual studio (windows)
#15 opened Apr 19, 2014 by johnsmith12
Reserved user defined literal: Space needed between string and PRIi64 token
#13 opened Mar 10, 2014 by Siesh1oo
1
OSX Portability issues
#12 opened Mar 10, 2014 by Siesh1oo
Fix compilation error on non-Linux systems
#9 opened Nov 8, 2013 by jgalenson
1
assertion is hit in SimpSolver::relocAll
#3 opened Nov 11, 2011 by vkhomenko
1
All lines must be postfixed with "0"
#2 opened Apr 23, 2011 by jonnybest
1
Function 'memUsedPeak()' is not defined on all architectures. portability
#1 opened Jul 29, 2010 by niklasso
2
ProTip! Find all open issues with in progress development work with linked:pr.