bap-primus-support

API

Library bap-plugin-primus_exploring

• Primus_exploring_main

Library bap-plugin-primus_greedy

• Primus_greedy_main

Library bap-plugin-primus_limit

• Primus_limit_main

Library bap-plugin-primus_loader

• Primus_loader_main

Library bap-plugin-primus_print

• Primus_print_main

Library bap-plugin-primus_promiscuous

• Primus_promiscuous_main

Library bap-plugin-primus_round_robin

• Primus_round_robin_main

Library bap-plugin-primus_wandering

• Primus_wandering_main

Library bap-primus-track-visited

• Bap_primus_track_visited Tracks program terms evaluated by Primus.