search

FreeYourSoul / Fabko

Fabko : Free Agent Board Cooperative : A Agent/Blackboard library
Other
1 stars 0 forks source link

feature : add variable forcing in SAT #6

Open FreeYourSoul opened 1 year ago

FreeYourSoul commented 1 year ago

Sat solver should be able to have specific variable set directly and enforced during resolution.