meelgroup/bosphorus

Issues

• Paper link and bib link broken

  #46 opened a year ago by GregoryMorse
  1

• Missing end-to-end tests

  #45 opened a year ago by msoos
  0

• ANF projection set parsing skips file after first comment

  #44 opened a year ago by tanyongkiam
  1

• ANF independent set is not translated to CNF indep set

  #42 opened a year ago by msoos
  1

• CNF reading does not care about independent set and will lose/create solutions.

  #43 opened a year ago by msoos
  0

• cnf to anf conversion makes it unsat

  #41 opened 2 years ago by gvarga2
  2

• The executable file about the newest bosphorus

  #40 opened 2 years ago by zfx-code
  4

• Multi-thread trigger assertion

  #38 opened 2 years ago by Flash-LHR
  5

• Error running: Segmentation fault (core dumped)

  #32 opened 2 years ago by GJY-Git
  2

• How to count the number of solutions to an ANF input?

  #31 opened 2 years ago by msoos
  0

• It can't convert ANF to CNF.

  #37 opened 2 years ago by zfx-code
  2

• --solvewrite() within Bosphorus is faster than Cryptominisat5 to solve cnf file

  #35 opened 2 years ago by HuinaLi
  7

• If the Bosporus has executable file in Windows system?

  #36 opened 2 years ago by zfx-code
  1

• CryptoMiniSat embedded in SageMath can solve these ANFs but Bosphous reports UNSAT

  #34 opened 2 years ago by HuinaLi
  5

• cnf simplification problem with double equations

  #33 opened 3 years ago by vilvuss
  3

• Thoughts on Bosphorus

  #26 opened 4 years ago by ErwinHaasnoot
  2

• Unexpected behavior on a factored system

  #23 opened 3 years ago by espitau
  3

• Bug in `subsitute` function?

  #24 opened 3 years ago by ErwinHaasnoot
  7

• Tests gone missing

  #28 opened 3 years ago by aljungberg
  4

• Bosphorus reports unsat but CryptoMiniSat can solve this SHA-256 CNF

  #27 opened 3 years ago by aljungberg
  9

• We should implement the Linear/Double Partner Strategy, Quadratic Partner Substitution etc ideas by Jovanovic and Kreuzer

  #22 opened 4 years ago by msoos
  0

• Counting the number of solutions after ANF->CNF conversion

  #21 opened 4 years ago by hadipourh
  7

• terminate called after throwing an instance of 'polybori::PBoRiError'

  #20 opened 4 years ago by GoldenHamed
  0

• Evaluating the key research space

  #19 opened 4 years ago by GoldenHamed
  6

• Number of variables

  #16 opened 5 years ago by saadislamm
  4

• what(): Variable index out of bounds. - with 510 variables and clauses

  #17 opened 5 years ago by ErwinHaasnoot
  3

• Docker build fails due to deprecation of Ubuntu 19.04

  #15 opened 5 years ago by ErwinHaasnoot
  2

• README -s mistake?

  #14 opened 5 years ago by mfernan2
  3

• How can one get all the solutions from Bosphorus?

  #13 opened 5 years ago by msoos
  10

• ANF to CNF conversion

  #11 opened 5 years ago by hadipourh
  10

• CNF with XOR extension

  #12 opened 5 years ago by aljungberg
  5

• Current master branch does not properly NULL terminate arguments to execl

  #8 opened 5 years ago by avinashvarna
  3

• Another solution found is not a solution to the ANF

  #7 opened 6 years ago by obhlivoj
  1

• Solution found is not a solution to the ANF

  #5 opened 6 years ago by obhlivoj
  9

• multiple SATs

  #2 opened 6 years ago by bobcrypt
  2

• different CNF

  #3 opened 6 years ago by bobcrypt
  2

• first experience

  #1 opened 6 years ago by jvpeetz
  2