search

FreeYourSoul / Fabko

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

feature: implement dimacs parser (into sat) #5

Closed FreeYourSoul closed 1 year ago

FreeYourSoul commented 1 year ago

Implement a dicmacs parser into sat solver (serialise/deserialize)

FreeYourSoul commented 1 year ago

Implement from and to