pylon-lib/pylon

Issues

• Could the constraint be non-binary, i.e., as a real value number?

  #23 opened 2 years ago by ZhaoyueSun
  0

• Multiple constraints in one model

  #21 opened 2 years ago by kumarmanas
  1

• Make tests less stochastic

  #20 opened 3 years ago by KareemYousrii
  0

• test_srl.py does not conform to expected output shape of constraint function

  #16 opened 3 years ago by KareemYousrii
  1

• torch.all() and torch.any() expect unsigned int or bool tensors

  #18 opened 4 years ago by KareemYousrii
  0

• Non-blackbox solvers do not identify torch.all() and torch.any()

  #17 opened 4 years ago by KareemYousrii
  0

• Standardize the return type from samplers

  #10 opened 4 years ago by KareemYousrii
  1

• Add support for mini-batching

  #11 opened 4 years ago by KareemYousrii
  0

• Better testing

  #4 opened 4 years ago by sameersingh
  0

• Correct loss in sampling solver

  #7 opened 4 years ago by sameersingh
  1

• Build can't find PySDD

  #8 opened 4 years ago by sameersingh
  2

• Add support for list of expressions (and thus quantifiers)

  #14 opened 4 years ago by sameersingh
  0

• Additional argument to constraint loss?

  #13 opened 4 years ago by guoquan
  3

• Linear form constraint needed for ILP

  #12 opened 4 years ago by guoquan
  3

• Use fixed variables in constraint

  #2 opened 4 years ago by sameersingh
  1

• Support for non-binary variables

  #6 opened 4 years ago by sameersingh
  2

• Get some version of ILP in there

  #5 opened 4 years ago by sameersingh
  1

• Support for Quantifiers, and Grounded vs Ungrounded Logic Expr

  #9 opened 4 years ago by sameersingh
  0

• Follow function calls?

  #3 opened 4 years ago by sameersingh
  0

• Basic AST parsing

  #1 opened 4 years ago by sameersingh
  1