Giters
pylon-lib
/
pylon
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
122
Watchers:
9
Issues:
20
Forks:
10
pylon-lib/pylon Issues
Could the constraint be non-binary, i.e., as a real value number?
Updated
2 years ago
Multiple constraints in one model
Closed
2 years ago
Comments count
1
Make tests less stochastic
Updated
3 years ago
test_srl.py does not conform to expected output shape of constraint function
Closed
3 years ago
Comments count
1
torch.all() and torch.any() expect unsigned int or bool tensors
Updated
3 years ago
Non-blackbox solvers do not identify torch.all() and torch.any()
Updated
3 years ago
Standardize the return type from samplers
Closed
3 years ago
Comments count
1
Add support for mini-batching
Closed
3 years ago
Better testing
Updated
4 years ago
Correct loss in sampling solver
Closed
4 years ago
Comments count
1
Build can't find PySDD
Closed
4 years ago
Comments count
2
Add support for list of expressions (and thus quantifiers)
Closed
4 years ago
Additional argument to constraint loss?
Closed
4 years ago
Comments count
3
Linear form constraint needed for ILP
Updated
4 years ago
Comments count
3
Use fixed variables in constraint
Updated
4 years ago
Comments count
1
Support for non-binary variables
Closed
4 years ago
Comments count
2
Get some version of ILP in there
Updated
4 years ago
Comments count
1
Support for Quantifiers, and Grounded vs Ungrounded Logic Expr
Updated
4 years ago
Follow function calls?
Updated
4 years ago
Basic AST parsing
Closed
4 years ago
Comments count
1