Skip to content

issues Search Results · repo:LPMP/BDD language:C++

Filter by

8 results
 (79 ms)

8 results

inLPMP/BDD (press backspace or delete to remove)

LPMP/BDD
Compilation in release mode

When testing the solver with ctest, I noticed some test fails on unverified asserts. Although not specified to potential users in README.md, compiling in release mode would increase runtime by skipping ...
  • smbct
  • Opened 
    on Feb 13
  • #18

LPMP/BDD
Compilation issue with CUDA 12.6

When compiling with CUDA version 12.6, the linker produces multiples errors (tested on Ubuntu 24.04). The issue seems to be linked to a change with nvcc in newer versions, see this stackoverflow post : ...
  • smbct
  • Opened 
    on Feb 13
  • #17

LPMP/BDD
Python bindings no targets

After commit 99d13dfe34ed0d5c4ecbd69cdf39d4d690117903 i get the following error when installing the python bindings make: *** No rule to make target bdd_mp_py. Stop. Traceback (most recent call last): ...
  • paul0noah
  • 1
  • Opened 
    on Sep 30, 2024
  • #16

LPMP/BDD
Could you please introduce how to build the problem file?

If I have a million variables, can the solver work? Could you please explain how to build a problem file for the BDD? In addition, the compile will break for the reason /home/XXX/Downloads/BDD/include/run_solver_util.h(68): ...
  • JackokieZhao
  • 21
  • Opened 
    on Mar 28, 2023
  • #14

LPMP/BDD
Issues and Fixes when Building

I recently wanted to build BDD solver python-bindings on my machine (Linux Ubuntu 22.04, Core i9 12900k, RTX3060) via git clone https://github.com/LPMP/BDD cd BDD git submodule update --remote --recursive ...
  • paul0noah
  • 1
  • Opened 
    on Mar 23, 2023
  • #13

LPMP/BDD
help

when the project make in the build directory,an ‘size_t don‘’t defined’ error appear,how can i deal with it?does the version of gcc11 cause that?
  • panggl
  • 1
  • Opened 
    on Jan 27, 2023
  • #12

LPMP/BDD
Requires runnable examples

Would you like to provide some examples that can be run directly with a fixed input file?
  • asdqsczser
  • 2
  • Opened 
    on Oct 8, 2022
  • #11

LPMP/BDD
Issue building

Hi! I am very interested in using your solver! I am running into the following error: fatal error: cub/detail/device_synchronize.cuh: No such file or directory 36 | #include cub/detail/device_synchronize.cuh ...
  • hnisonoff
  • 5
  • Opened 
    on Sep 2, 2022
  • #10
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub