小行星已与Scampi合并,以产生OScar。 在https://bitbucket.org/oscarlib/oscar/wiki/Home上关注我们。Asteroid提供了一个强大的框架,可为组合问题开发基于约束的本地搜索解决方案。 该技术为实际问题提供了良好的可伸缩性。 它包括标准约束和不变量的库,用于声明性地定义您要解决的问题,并且还提供了强大的搜索机制。