Skip to content

Issues: cddlib/cddlib

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

19 Open 17 Closed
19 Open 17 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Implementation of algorithm for LI(2)? question
#71 opened Jan 20, 2024 by dragutinv55
skipping doc compilation
#69 opened Jul 26, 2022 by vryy
Missing Vertices in V-Rep conversion invalid This doesn't seem right
#67 opened Mar 30, 2022 by stanleybak
7
The scdd_gmp' or scdd' binary from cddlib is required
#66 opened Mar 8, 2022 by LinneLee
cddlib static: Undefined references with Apple-Clang
#64 opened Aug 12, 2021 by SpaceIm
4
Missing includes in public headers
#63 opened Aug 8, 2021 by SpaceIm
1
Implement templated C++ version of CDD
#53 opened Oct 5, 2020 by MathieuDutSik
2
Remove Linked-Lists in CDD performance
#52 opened Oct 5, 2020 by MathieuDutSik
1
Remove divisions in cdd performance
#51 opened Oct 5, 2020 by MathieuDutSik
cddlib.pc points to wrong library
#49 opened Sep 29, 2020 by jengelh
4
dd_DDInputAppend: H vs V-representation-bug? question
#36 opened Aug 30, 2019 by msinnl
2
Build binaries on Windows wishlist
#35 opened Aug 28, 2019 by ueliwechsler
3
Numerically inconsistent bug Something isn't working
#34 opened Jul 8, 2019 by ferrolho
16
Add tests enhancement New feature or request
#25 opened Aug 5, 2018 by timokau
Distribute binaries with their source code enhancement New feature or request
#24 opened Jul 30, 2018 by saraedum
1
Alternative output formats enhancement New feature or request wishlist
#22 opened Jul 26, 2018 by saraedum
5
Segmentation fault on invalid input bug Something isn't working
#17 opened Jul 9, 2018 by saraedum
Provide man pages enhancement New feature or request
#16 opened Jul 9, 2018 by saraedum
dd_MatrixRedundancyRemove algorithm + speed improvements? wishlist
#15 opened Jul 3, 2018 by bc
5
ProTip! Updated in the last three days: updated:>2024-06-05.