Issues
- 0
Experienced issues with rspy 0.4.2
#138 opened - 0
- 0
Add support for assume then select
#136 opened - 0
Consider value to be a variable
#135 opened - 1
- 1
- 0
Implement puan-rspy 0.4.0
#130 opened - 0
- 0
Assuming Xor does not remove other variables
#127 opened - 0
'Any' object has no attribute 'invert'
#126 opened - 0
Imply has no attribute condition
#124 opened - 0
- 0
- 0
Add Equal class to plog
#118 opened - 0
try_reduce_before=True option does not take effect when running model.solve with internal solver
#117 opened - 0
Wrap solver map with list
#116 opened - 0
Benchmarking
#115 opened - 0
Replace npufunc and remove all c extensions
#113 opened - 0
Plog guide docs fixes
#111 opened - 0
Fix doc guides
#109 opened - 0
0.5.0 quick fixes
#107 opened - 2
Provide information of only python 3.9 support
#105 opened - 0
Remove STA model
#103 opened - 0
Implement plog.reduce function
#102 opened - 0
Doctest to fail on warnings
#97 opened - 0
Increase test coverage
#94 opened - 0
Add "prio" method to ndint_compress
#93 opened - 0
- 0
Implement assume on logic models
#90 opened - 0
Implement puan-rspy 0.2.8
#89 opened - 0
Documentation enhancement
#86 opened - 0
- 0
Extend docs with logo and intro text
#84 opened - 0
- 0
- 0
Remove convert_priorities
#74 opened - 0
Attach puan-rspy solver onto plog
#72 opened - 1
- 0
- 0
Solve publish github action
#69 opened - 1
- 0
Leafs are not extracted properly
#65 opened - 0
Multiple defaults
#64 opened - 0
Implement puan-rspy 0.2.0
#63 opened - 0
- 0
Add typing to (maybe) all functions
#60 opened - 0
- 0
- 1
- 1
Plog: Creation of a variable through json doesn't require a proposition. This creates confusion.
#53 opened