A continuous-time MaxSAT solver with high analog performance

A continuous-time MaxSAT solver with high analog performance