Locking a Logic Solver prevents it from being downloaded and also prevents a Logic Solver switchover. To lock or unlock a Logic Solver you must have the SIS CanConfigure privilege. A Logic Solver must be unlocked before it can be downloaded.
To lock/unlock a Logic Solver